Similar Items: A Hoare logic for the coinductive trace-based big-step semantics of While
- Generic Trace Semantics via Coinduction
- Semantics, Specification Logic, and Hoare Logic of Exact Real Computation
- Alignment complete relational Hoare logics for some and all
- Coalgebraic trace semantics via forgetful logics
- Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism
- Expressive Logics for Coinductive Predicates