Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics
No abstract available.
Related papers
- Coinductive Big-Step Operational Semantics ESOP 2006
- Resource-Aware Soundness for Big-Step Semantics OOPSLA 2023
- A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While ESOP 2010
- Don't exhaust, don't waste: Resource-aware soundness for big-step semantics JFP 2026
- Reasoning on divergent computations with coaxioms OOPSLA 2017
- Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages ECOOP 2014
- Big-Stop Semantics: Small-Step Semantics in a Big-Step Judgment POPL 2026
- Semantic-Based Visualization for Parallel Object-Oriented Programming OOPSLA 1996