Algebraic Proofs of Properties of Objects
Abstract elided by the publisher.
Related papers
- Modular Reasoning About Object Relations CAV 2026
- A Formalism for Real-Time Concurrent Object-Oriented Computing OOPSLA 1992
- Haskore Music Notation - An Algebra of Music JFP 1996
- A formal proof of hensel's lemma over the p-adic integers CPP 2019
- Calculational Design of Hyperlogics by Abstract Interpretation POPL 2025
- Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite Algorithm TOPLAS 1982
- Local Reasoning for Global Graph Properties ESOP 2020
- Point-free calculational proofs and program derivation in linear algebra using a graphical syntax JFP 2025