A Programming Logic for Sequential Java
Abstract elided by the publisher.
Related papers
- Compiler techniques for high performance sequentially consistent java programs PPoPP 2005
- Accelerating sequential consistency for Java with speculative compilation PLDI 2019
- A termination analyzer for Java bytecode based on path-length TOPLAS 2010
- Dynamic Memory Management for Sequential Logic Programming Languages ISMM 1992
- Logical Concurrency Control from Sequential Proofs ESOP 2010
- A Separation Logic for Fictional Sequential Consistency ESOP 2015
- Vectorized Symbolic Model Checking of Computation Tree Logic for Sequential Machine Verification CAV 1991
- Separation logic for sequential programs (functional pearl) ICFP 2020