Proving Entailment Between Conceptual State Specifications
No abstract available.
Related papers
- Hierarchical Distributed Reference Counting ISMM 1998
- Quasi-static scheduling for safe futures PPoPP 2008
- A formal specification of JavaTM class loading OOPSLA 2000
- Refinement Composition Logic ICFP 2024
- Simplifying Subtyping Constraints ICFP 1996
- Behavioral Subtyping, Specification Inheritance, and Modular Reasoning TOPLAS 2015
- A Safe Low-Level Language for Computer Algebra and Its Formally Verified Compiler ICFP 2024
- Separation logic + superposition calculus = heap theorem prover PLDI 2011