Representing Control: a Study of the CPS Transformation

DOI10.1017/S0960129500001535MaRDI QIDQ4493071zbMATH OpenOpenAlexDBLPWikidataFDO

Authors

Publication date 2 August 2000

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129500001535

zbMATH Keywords

ConferenceProceedingsFunctional programmingSpecial issueNice (France)LispACM conference

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Cites work

• {{#invoke:WikidataIB|getLink|Q1101435}} A syntactic theory of sequential control
• {{#invoke:WikidataIB|getLink|Q1183551}} Automatic autoprojection of higher order recursive equations
• {{#invoke:WikidataIB|getLink|Q1183547}} Automatic autoprojection of recursive equations with global variables and abstract data types
• {{#invoke:WikidataIB|getLink|Q1225449}} Call-by-name, call-by-value and the \(\lambda\)-calculus
• {{#invoke:WikidataIB|getLink|Q911319}} Two-level semantics and abstract interpretation
• {{#invoke:WikidataIB|getLink|Q1095636}} Two-level semantics and code generation

Cited in

(5)

• Axioms for control operators in the CPS hierarchy
• A static simulation of dynamic delimited control
• Formal compiler construction in a logical framework
• On typing delimited continuations: Three new solutions to the printf problem
• Magic-sets for localised analysis of Java bytecode

This page was built for publication: Representing Control: a Study of the CPS Transformation

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