Compilation and equivalence of imperative objects
From MaRDI portal
Publication:4943358
DOI10.1017/S0956796899003482zbMath0942.68025MaRDI QIDQ4943358
Søren B. Lassen, Andrew D. Gordon, Paul D. Hankin
Publication date: 28 May 2000
Published in: Journal of Functional Programming (Search for Journal in Brave)
Related Items (5)
Inter-deriving Semantic Artifacts for Object-Oriented Programming ⋮ Program equivalence in an untyped, call-by-value functional language with uncurried functions ⋮ ASP\(_{\text{fun}}\) : a typed functional active object calculus ⋮ Inter-deriving semantic artifacts for object-oriented programming ⋮ Asynchronous sequential processes
This page was built for publication: Compilation and equivalence of imperative objects
