Deriving Pretty-Big-Step Semantics from Small-Step Semantics
Abstract elided by the publisher.
Related papers
- Pretty-Big-Step Semantics ESOP 2013
- Certified Abstract Interpretation with Pretty-Big-Step Semantics CPP 2015
- One Step at a Time - A Functional Derivation of Small-Step Evaluators from Big-Step Counterparts ESOP 2019
- Big-Stop Semantics: Small-Step Semantics in a Big-Step Judgment POPL 2026
- Big Steps in Higher-Order Mathematical Operational Semantics ICFP 2025
- Small-step and big-step semantics for call-by-need JFP 2009
- Omnisemantics: Smooth Handling of Nondeterminism TOPLAS 2023
- Semantic-Based Visualization for Parallel Object-Oriented Programming OOPSLA 1996