Back to Direct Style

Back to Direct Style (1994)

by Olivier Danvy

Citations:

44 - 20 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Back to Direct Style	user correction - Legacy Corrections
AUTHOR NAME	Olivier Danvy	SVM HeaderParse 0.1
AUTHOR AFFIL	; Department of Computer Science; of Computer Science of Carnegie Mellon University in 1993, and expurga...	SVM HeaderParse 0.2
ABSTRACT	This paper describes the transformation of lambda-terms from continuation-passing style (CPS) to direct style. This transformation is the left inverse of Plotkin's left-to-right call-by-value CPS encoding for the pure lambda-calculus. Not all -terms are CPS terms, and not all CPS terms encode a left-to-right call-by-value evaluation. These CPS terms are characterized here; they can be mapped back to direct style. In addition, the two transformations -- to continuation-passing style and to direct style -- are factored using a language where all intermediate values are named and their computation is sequentialized. The issue of proper tail-recursion is also addressed.	user correction - Legacy Corrections
YEAR	1994	user correction - Legacy Corrections
CITATIONS	25 found	ParsCit 1.0