A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While
Abstract elided by the publisher.
Related papers
- Coinductive Big-Step Operational Semantics ESOP 2006
- Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics ECOOP 2012
- A Big Step from Finite to Infinite Computations (SCICO Journal-first) ECOOP 2020
- Resource-Aware Soundness for Big-Step Semantics OOPSLA 2023
- Big-Stop Semantics: Small-Step Semantics in a Big-Step Judgment POPL 2026
- Reasoning on divergent computations with coaxioms OOPSLA 2017
- Don't exhaust, don't waste: Resource-aware soundness for big-step semantics JFP 2026
- Differential Execution with Lexical Tracing OOPSLA 2026