Methods as Assertions
Abstract elided by the publisher.
Related papers
- Assertional reasoning about data races in relaxed memory models PPoPP 2008
- Constraint Diagrams: Visualizing Assertions in Object-Oriented Models OOPSLA 1997
- Assertion-based optimization of Quantum programs OOPSLA 2020
- Is Sometimes Ever Better Than Alway? TOPLAS 1979
- Assertions for Free: Transferring Invariants from Algorithm to Implementation Proofs (Functional Pearl) ICFP 2026
- Verifying Array Manipulating Programs by Tiling SAS 2017
- A calculus of atomic actions POPL 2009
- Axiomatic Definability and Completeness for Recursive Programs POPL 1982