Inter-deriving Semantic Artifacts for Object-Oriented Programming

DOI10.1007/978-3-540-69937-8_1MaRDI QIDQ3511441zbMATH OpenOpenAlexFDO

Authors Olivier Danvy, Jacob Johannsen

Publication date 10 July 2008

Published in Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-69937-8_1

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Inter-deriving semantic artifacts for object-oriented programming
• From operational semantics to abstract machines
• New
• From Natural Semantics to Abstract Machines
• Compilation and equivalence of imperative objects

Cites work

• A concrete framework for environment machines
• A functional correspondence between call-by-need evaluators and lazy abstract machines
• A functional correspondence between monadic evaluators and abstract machines for languages with computational effects
• A syntactic correspondence between context-sensitive calculi and abstract machines
• An abstract framework for environment machines
• An Operational Foundation for Delimited Continuations in the CPS Hierarchy
• Back to direct style
• Compilation and equivalence of imperative objects
• Confluence properties of weak and strong calculi of explicit substitutions
• Definitional interpreters for higher-order programming languages
• Definitional interpreters revisited
• Explicit substitutions
• From reduction-based to reduction-free normalization
• scientific article; zbMATH DE number 4035108 (Why is no real title available?)
• scientific article; zbMATH DE number 108368 (Why is no real title available?)
• scientific article; zbMATH DE number 1222417 (Why is no real title available?)
• scientific article; zbMATH DE number 944097 (Why is no real title available?)
• scientific article; zbMATH DE number 236855 (Why is no real title available?)
• Making a fast Curry: push/enter vs. eval/apply for higher-order languages
• On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion
• Refunctionalization at work
• The categorical abstract machine
• The lambda calculus. Its syntax and semantics. Rev. ed.
• The Mechanical Evaluation of Expressions

Cited in

(3)

• From reduction-based to reduction-free normalization
• scientific article; zbMATH DE number 1479621 (Why is no real title available?)
• Inter-deriving semantic artifacts for object-oriented programming

This page was built for publication: Inter-deriving Semantic Artifacts for Object-Oriented Programming

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