Programming Languages and Systems
From MaRDI portal
Publication:5899014
DOI10.1007/11693024zbMATH Open1178.68154OpenAlexW2491912653MaRDI QIDQ5899014FDOQ5899014
Mitchell Wand, Vasileios Koutavas
Publication date: 2 May 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11693024
Recommendations
Cited In (11)
- On the observational theory of the CPS-calculus
- Compilation and equivalence of imperative objects
- Abstract interface behavior of object-oriented languages with monitors
- Refactoring and representation independence for class hierarchies
- From Applicative to Environmental Bisimulation
- Program equivalence in a simple language with state
- Open Bisimulation for Aspects
- A Complete, Co-inductive Syntactic Theory of Sequential Control and State
- Operational equivalences for untyped and polymorphic object calculi
- Title not available (Why is that?)
- Full Abstraction at Package Boundaries of Object-Oriented Languages
This page was built for publication: Programming Languages and Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5899014)