Collective Assertions
Abstract elided by the publisher.
Related papers
- Precondition Inference from Intermittent Assertions and Application to Contracts on Collections VMCAI 2011
- What can the GC compute efficiently?: a language for heap assertions at GC time OOPSLA 2010
- A separation logic for heap space under garbage collection POPL 2022
- Sound, complete, and tractable linearizability monitoring for concurrent collections POPL 2018
- Clauses: Scope Structures and Defined Functions in Lucid POPL 1978
- Toward Compiler Implementation Correctness Proofs TOPLAS 1986
- System FR: formalized foundations for the stainless verifier OOPSLA 2019
- RHLE: Modular Deductive Verification of Relational ∀ ∃ Properties APLAS 2022