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
Highly Influential
This paper has highly influenced 39 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 372 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 239 extracted citations

373 Citations

01020'91'97'04'11'18
Citations per Year
Semantic Scholar estimates that this publication has 373 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 29 references

Revised4 report on the algorithmic language scheme

LIPO • 1991
View 20 Excerpts
Highly Influenced

Two-Level Semantics and Code Generation

Theor. Comput. Sci. • 1988
View 7 Excerpts
Highly Influenced

Rabbit: A compiler for Scheme

Guy L. Steele
Technical Report AI-TR-474, Arti cial Intelligence Laboratory, Massachusetts Institute of Technology, • 1978
View 8 Excerpts
Highly Influenced

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

Theor. Comput. Sci. • 1975
View 7 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…