Compilation and equivalence of imperative objects

DOI10.1017/S0956796899003482MaRDI QIDQ4943358zbMATH OpenFDO

Authors Andrew D. Gordon, Paul D. Hankin, Soren B. Lassen

Publication date 28 May 2000

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0956796899003482

zbMATH Keywords

object-oriented languages

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Inter-deriving semantic artifacts for object-oriented programming
• Operational equivalences for untyped and polymorphic object calculi
• A calculus for concurrent objects
• Programming Languages and Systems
• An algebraic approach to the design of compilers for object-oriented languages

Cited in

(8)

• Asynchronous sequential processes
• Program equivalence in an untyped, call-by-value functional language with uncurried functions
• scientific article; zbMATH DE number 1629943 (Why is no real title available?)
• A Step-indexed Semantics of Imperative Objects
• Inter-deriving Semantic Artifacts for Object-Oriented Programming
• ASP\(_{\text{fun}}\) : a typed functional active object calculus
• Pushdown normal-form bisimulation: a nominal context-free approach to program equivalence
• Inter-deriving semantic artifacts for object-oriented programming

This page was built for publication: Compilation and equivalence of imperative objects

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4943358)