Functional Big-Step Semantics
No abstract available.
DOI 10.1007/978-3-662-49498-1_23
Related papers
- One Step at a Time - A Functional Derivation of Small-Step Evaluators from Big-Step Counterparts ESOP 2019
- Don't exhaust, don't waste: Resource-aware soundness for big-step semantics JFP 2026
- Deriving Pretty-Big-Step Semantics from Small-Step Semantics ESOP 2014
- Pretty-Big-Step Semantics ESOP 2013
- Coinductive Big-Step Operational Semantics ESOP 2006
- Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics ECOOP 2012
- Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics APLAS 2010
- A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While ESOP 2010