Abstract Predicates and Mutable ADTs in Hoare Type Theory
No abstract available.
Related papers
- Hoare type theory, polymorphism and separation JFP 2008
- Dependent Type Theory for Verification of Information Flow and Access Control Policies TOPLAS 2013
- State-dependent representation independence POPL 2009
- Augmentation of Object-Oriented Programming by Concepts of Abstract Data Type Theory: The ModPascal Experience OOPSLA 1986
- Encode the ∀∃ Relational Hoare Logic into Standard Hoare Logic OOPSLA 2025
- Solving constrained Horn clauses modulo algebraic data types and recursive functions POPL 2022
- Rolling Your Own MADT - A Connection Between Linear Types and Monads POPL 1997
- A Realizability Model for Impredicative Hoare Type Theory ESOP 2008