Fictional Separation Logic
Abstract elided by the publisher.
Related papers
- A Separation Logic for Fictional Sequential Consistency ESOP 2015
- Concurrent Abstract Predicates ECOOP 2010
- Reuse: Truth or Fiction (Panel) OOPSLA 1992
- Reconfigurable asynchronous logic automata: (RALA) POPL 2010
- The Cuban software revolution: 2016¿2025 Onward! 2015
- Abstract effects and proof-relevant logical relations POPL 2014
- Amortised Resource Analysis with Separation Logic ESOP 2010
- Barriers in Concurrent Separation Logic ESOP 2011