Inter-deriving Semantic Artifacts for Object-Oriented Programming

DOI10.1007/978-3-540-69937-8_1zbMath1155.68355OpenAlexW2128366238MaRDI QIDQ3511441

Jacob Johannsen, Olivier Danvy

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) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

From Reduction-Based to Reduction-Free Normalization

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The lambda calculus. Its syntax and semantics. Rev. ed.
• An abstract framework for environment machines
• A syntactic correspondence between context-sensitive calculi and abstract machines
• Refunctionalization at work
• On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion
• The categorical abstract machine
• Definitional interpreters revisited
• Definitional interpreters for higher-order programming languages
• Back to direct style
• 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
• Confluence properties of weak and strong calculi of explicit substitutions
• Explicit substitutions
• Compilation and equivalence of imperative objects
• Making a fast curry
• A concrete framework for environment machines
• An Operational Foundation for Delimited Continuations in the CPS Hierarchy
• The Mechanical Evaluation of Expressions

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