A Compositional Specification Theory for Component Behaviours
Abstract elided by the publisher.
Related papers
- Environmental Acquisition - A New Inheritance-Like Abstraction Mechanism OOPSLA 1996
- A Complete Program Logic for Compositional Linearizability ECOOP 2026
- Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice ICFP 2026
- Hoare type theory, polymorphism and separation JFP 2008
- Compositional Verification of Compiler Optimisations on Relaxed Memory ESOP 2018
- Stack inspection: theory and variants POPL 2002
- Intrinsically-typed definitional interpreters à la carte OOPSLA 2022
- Compositional Design, Implementation, and Verification of Swarms ECOOP 2026