To Store or Not to Store
No abstract available.
Related papers
- A Shared, Persistent Object Store ECOOP 1988
- Relative Store Fragments for Singleton Abstraction SAS 2017
- Getting Rid of Store-Buffers in TSO Analysis CAV 2011
- Implementing functional logic languages using multiple threads and stores ICFP 2004
- From Array Domains to Abstract Interpretation Under Store-Buffer-Based Memory Models SAS 2016
- Modelling a Distributed Cached Store for Garbage Collection: The Algorithm and Its Correctness Proof ECOOP 1998
- Delta Store Semantics: Abstract Garbage Collection for Abstract Definitional Interpreters SAS 2025
- Stores and Partial Continuations as First-Class Objects in a Language and its Environment POPL 1988