A first-order one-pass CPS transformation
type: Item
instance of: scholarly article
title: A first-order one-pass CPS transformation
zbMATH Open document ID: 1049.03013
DOI: 10.1016/S0304-3975(02)00733-8
author: Olivier Danvy
author: Lasse R. Nielsen
published in: Theoretical Computer Science
publication date: 2004-10-27T00:00:00Z
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 68N18
zbMATH DE Number: 2110980
zbMATH Keywords: \(\lambda\)-calculus
zbMATH Keywords: Continuations
zbMATH Keywords: Continuation-passing style
zbMATH Keywords: CPS transformation
zbMATH Keywords: Administrative reductions
describes a project that uses: TALx86
MaRDI profile type: Publication
cites work: The lambda calculus. Its syntax and semantics. Rev. ed.
cites work: On static and dynamic control-flow information in program analysis and transformation
cites work: A Simple CPS Transformation of Control-Flow Information
cites work: Back to direct style
cites work: Q4518878
cites work: Q4499196
cites work: Representing Control: a Study of the CPS Transformation
cites work: CPS transformation of beta-redexes
cites work: Q2763631
cites work: RULE 2001. Proceedings of the 2nd international workshop on rule-based programming (Satellite Event of PLI 2001), Florence, Italy, September 4, 2001
cites work: Essentials of programming languages.
cites work: Q3680263
cites work: Notions of computation and monads
cites work: Q4501589
cites work: CPS transformation of flow information
cites work: Call-by-name, call-by-value and the \(\lambda\)-calculus
cites work: Q2763630
cites work: Q4263877
cites work: Definitional interpreters for higher-order programming languages
cites work: Correctness of procedure representations in higher-order assembly language
cites work: Q3141916
cites work: Secure information flow via linear continuations
Recommended article: Q4738220
Recommended article: On one-pass CPS transformations
Recommended article: Retraction approach to CPS transform
Recommended article: A Selective CPS Transformation
Recommended article: A Simple CPS Transformation of Control-Flow Information
Recommended article: Computing Single Parameter Transformations
Recommended article: An equivalence preserving first order unfold/fold transformation system
Recommended article: CPS transformation of flow information
Recommended article: A first order automated Lie transform
Recommended article: Unified Pascal Matrix for First-Order $s{\hbox{–}}z$ Domain Transformations
description: scientific article; zbMATH DE number 2110980