Inter-deriving Semantic Artifacts for Object-Oriented Programming
From MaRDI portal
Publication:3511441
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
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)
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