Relative Store Fragments for Singleton Abstraction

DOI10.1007/978-3-319-66706-5_6zbMATH Open1420.68067OpenAlexW2747820618MaRDI QIDQ5233240FDOQ5233240

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

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

Mathematics Subject Classification ID

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

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)