Programming Languages and Systems

DOI10.1007/11693024MaRDI QIDQ5899014zbMATH OpenOpenAlexFDO

Authors Vasileios Koutavas, Mitchell Wand

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

Mathematics Subject Classification ID

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

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

Cited in

(14)

• Abstract interface behavior of object-oriented languages with monitors
• Operational equivalences for untyped and polymorphic object calculi
• Full abstraction at package boundaries of object-oriented languages
• A Complete, Co-inductive Syntactic Theory of Sequential Control and State
• A contextual equivalence checker for IMJ*
• Open Bisimulation for Aspects
• Refactoring and representation independence for class hierarchies
• Program equivalence in a simple language with state
• Compilation and equivalence of imperative objects
• Bisimulations for delimited-control operators
• From applicative to environmental bisimulation
• A bisimulation-like proof method for contextual properties in untyped -calculus with references and deallocation
• Fully abstract normal form bisimulation for call-by-value PCF
• On the observational theory of the CPS-calculus

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)