Similar Items: Alignment complete relational Hoare logics for some and all
- Semantics, Specification Logic, and Hoare Logic of Exact Real Computation
- Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism
- A Hoare logic for the coinductive trace-based big-step semantics of While
- Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
- On the meaning of logical completeness
- Nested Hoare Triples and Frame Rules for Higher-order Store