Definitional interpreters revisited

DOI10.1023/A:1010075320153zbMath0934.68033OpenAlexW1578657094MaRDI QIDQ1290336

John C. Reynolds

Publication date: 31 May 1999

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1010075320153

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items

Peter J. Landin (1930--2009) ⋮ Polymorphic typed defunctionalization and concretization ⋮ Getting There and Back Again ⋮ Combining algebraic effects with continuations ⋮ A syntactic correspondence between context-sensitive calculi and abstract machines ⋮ Analyzing the environment structure of higher-order languages using frame strings ⋮ Inter-deriving Semantic Artifacts for Object-Oriented Programming ⋮ On inter-deriving small-step and big-step semantics: a case study for storeless call-by-need evaluation ⋮ Refunctionalization at work ⋮ On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion ⋮ On one-pass CPS transformations ⋮ Inter-deriving semantic artifacts for object-oriented programming ⋮ From Reduction-Based to Reduction-Free Normalization