Programming Languages and Systems

DOI10.1007/11693024zbMath1178.68154OpenAlexW2491912653MaRDI QIDQ5899014

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

Mathematics Subject Classification ID

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

Related Items (8)

A Complete, Co-inductive Syntactic Theory of Sequential Control and State ⋮ Refactoring and representation independence for class hierarchies ⋮ Program equivalence in a simple language with state ⋮ On the observational theory of the CPS-calculus ⋮ From Applicative to Environmental Bisimulation ⋮ Abstract interface behavior of object-oriented languages with monitors ⋮ Unnamed Item ⋮ Full Abstraction at Package Boundaries of Object-Oriented Languages

This page was built for publication: Programming Languages and Systems