The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms

The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms (1994)

by Amr A. Sabry

Citations:

13 - 0 self

User correction supplied by mph

Datum	Value	Source
TITLE	The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms	user correction - Legacy Corrections
AUTHOR NAME	Amr A. Sabry	user correction
ABSTRACT	Compilers for higher-order programming languages like Scheme, ML, and Lisp can be broadly characterized as either "direct compilers" or "continuation-passing style (CPS) compilers", depending on their main intermediate representation. Our central result is a precise correspondence between the two compilation strategies. Starting from	user correction
YEAR	1994	user correction - Legacy Corrections
CITATIONS	105 found	ParsCit 1.0