First Steps Towards Fully Abstract Semantics for Object-Oriented Languages
No abstract available.
Related papers
- Compilation and Equivalence of Imperative Objects JFP 1999
- Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics ECOOP 2012
- Semantic-Based Visualization for Parallel Object-Oriented Programming OOPSLA 1996
- Object-oriented programming with gradual abstraction DLS 2012
- Transparent Forwarding: First Steps OOPSLA 1987
- Relations as Semantic Constructs in an Object-Oriented Language OOPSLA 1987
- Handling bidirectional control flow OOPSLA 2020
- Three Steps to Views: Extending the Object-Oriented Paradigm OOPSLA 1989