Pretty-Big-Step Semantics
No abstract available.
Related papers
- Deriving Pretty-Big-Step Semantics from Small-Step Semantics ESOP 2014
- Certified Abstract Interpretation with Pretty-Big-Step Semantics CPP 2015
- Coinductive Big-Step Operational Semantics ESOP 2006
- Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics ECOOP 2012
- Functional Big-Step Semantics ESOP 2016
- 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
- Big-Stop Semantics: Small-Step Semantics in a Big-Step Judgment POPL 2026