On the transformation between direct and continuation semantics

DOI10.1007/3-540-58027-1_31OpenAlexW1552718654MaRDI QIDQ5890072

Olivier Danvy, John Hatcliff

Publication date: 28 April 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-58027-1_31

zbMATH Keywords

valuation functionabstract syntaxdenotational semanticpartial evaluatorimplementation purpose

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

A functional correspondence between call-by-need evaluators and lazy abstract machines ⋮ A Selective CPS Transformation

Cites Work

• Notions of computation and monads
• Two-level semantics and code generation
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Two-Level Functional Languages
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the transformation between direct and continuation semantics