Persistent Oberon: A Programming Language with Integrated Persistence
Abstract elided by the publisher.
Related papers
- Persistence semantics for weak memory: integrating epoch persistency with the TSO memory model OOPSLA 2018
- Persistent software transactional memory in Haskell ICFP 2021
- Persistency for synchronization-free regions PLDI 2018
- Interprocedural query extraction for transparent persistence OOPSLA 2008
- Extracting queries by static analysis of transparent persistence POPL 2007
- PerSeVerE: persistency semantics for verification under ext4 POPL 2021
- An approach for persistent time-varying values Onward! 2019
- Efficient algorithms for persistent transactional memory PPoPP 2021