Relative Store Fragments for Singleton Abstraction

DOI10.1007/978-3-319-66706-5_6MaRDI QIDQ5233240zbMATH OpenOpenAlexFDO

Authors Leandro Facchinetti, Zachary Palmer, Scott F. Smith

Publication date 16 September 2019

Published in Static Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-66706-5_6

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 2080318
• Fragmented objects: boosting concurrency of shared large objects
• Abstraction for Concurrent Objects
• Abstraction for concurrent objects
• scientific article; zbMATH DE number 2112158
• Recency-Abstraction for Heap-Allocated Storage
• Separation Logic for Higher-Order Store

This page was built for publication: Relative Store Fragments for Singleton Abstraction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5233240)