Similar Items: Semantics, Specification Logic, and Hoare Logic of Exact Real Computation
- Logic for exact real arithmetic
- A Hoare logic for the coinductive trace-based big-step semantics of While
- Alignment complete relational Hoare logics for some and all
- Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism
- Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
- Bialgebraic Semantics for Logic Programming