Coinductive Big-Step Operational Semantics
Abstract elided by the publisher.
Related papers
- Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics ECOOP 2012
- A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While ESOP 2010
- 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
- Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics APLAS 2010
- A Big Step from Finite to Infinite Computations (SCICO Journal-first) ECOOP 2020