Fluid Updates: Beyond Strong vs. Weak Updates
No abstract available.
Related papers
- Checking and inferring local non-aliasing PLDI 2003
- Weak updates and separation logic APLAS 2009
- Targeted Update - Aggressive Memory Abstraction Beyond Common Sense and Its Application on Static Numeric Analysis ESOP 2014
- Scalable Flow-Sensitive Pointer Analysis for Java with Strong Updates ECOOP 2012
- Points-to analysis with efficient strong updates POPL 2011
- Verifying read-copy-update in a logic for weak memory PLDI 2015
- The Virtual Recency Abstraction: Strong Updates for Abstract Interpreters with Shared State ECOOP 2026
- Bolt-On Strong Consistency: Specification, Implementation, and Verification OOPSLA 2025