Representing Control: A Study of the CPS Transformation

@article{Danvy1992RepresentingCA,
  title={Representing Control: A Study of the CPS Transformation},
  author={Olivier Danvy and Andrzej Filinski},
  journal={Mathematical Structures in Computer Science},
  year={1992},
  volume={2},
  pages={361-391}
}
This paper investigates the transformation of v-terms into continuation-passing style (CPS). We show that by appropriate-expansion of Fischer and Plotkin's two-pass equational speciication of the CPS transform, we can obtain a static and context-free separation of the result terms into \essential" and \administrative" constructs. Interpreting the former as syntax builders and the latter as directly executable code, we obtain a simple and eecient one-pass transformation algorithm, easily… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 263 CITATIONS, ESTIMATED 23% COVERAGE

A sound and complete axiomatization of delimited continuations

VIEW 20 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Monads and composable continuations

  • Lisp and Symbolic Computation
  • 1994
VIEW 15 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Typeful Continuations

VIEW 7 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations

  • ACM Trans. Program. Lang. Syst.
  • 2015
VIEW 4 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Equational axiomatization of call-by-name delimited control

VIEW 11 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

How to CPS Transform a Monad

VIEW 5 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

From Reduction-Based to Reduction-Free Normalization

  • Advanced Functional Programming
  • 2008
VIEW 4 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

On one-pass CPS transformations

VIEW 7 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

1991
2019

CITATION STATISTICS

  • 49 Highly Influenced Citations

  • Averaged 8 Citations per year over the last 3 years

References

Publications referenced by this paper.
SHOWING 1-10 OF 39 REFERENCES

Abstracting Control

  • LISP and Functional Programming
  • 1990
VIEW 11 EXCERPTS
HIGHLY INFLUENTIAL

Reasoning with Continuations II: Full Abstraction for Models of Control

  • LISP and Functional Programming
  • 1990
VIEW 9 EXCERPTS
HIGHLY INFLUENTIAL

Two-Level Semantics and Code Generation

  • Theor. Comput. Sci.
  • 1988
VIEW 6 EXCERPTS
HIGHLY INFLUENTIAL

Rabbit: A Compiler for Scheme

VIEW 6 EXCERPTS
HIGHLY INFLUENTIAL

Call-by-Name, Call-by-Value and the lambda-Calculus

  • Theor. Comput. Sci.
  • 1975
VIEW 15 EXCERPTS
HIGHLY INFLUENTIAL

Polymorphic type assignment and CPS conversion

  • Lisp and Symbolic Computation
  • 1993
VIEW 2 EXCERPTS
HIGHLY INFLUENTIAL

Back to Direct Style

VIEW 2 EXCERPTS
HIGHLY INFLUENTIAL

Similar Papers

Loading similar papers…