Programming Languages and Systems

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

• Small bisimulations for reasoning about higher-order imperative programs
• A bisimulation for type abstraction and recursion
• A bisimulation for type abstraction and recursion
• Operational equivalences for untyped and polymorphic object calculi
• scientific article; zbMATH DE number 1330448

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

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)