Thunks (continued)

Thunks (continued) (1992)

Cached

Download Links

[ftp.daimi.aau.dk]
[ftp.cis.ksu.edu]

Other Repositories/Bibliography

DBLP

by Olivier Danvy , John Hatcliff

Venue:	Kansas State University
Citations:	8 - 2 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Thunks (continued)	user correction - Legacy Corrections
AUTHOR NAME	Olivier Danvy	user correction - Legacy Corrections
AUTHOR AFFIL	Department of Computing and Information Sciences; Kansas State University	user correction - Legacy Corrections
AUTHOR ADDR	Manhattan, Kansas 66506, USA	user correction - Legacy Corrections
AUTHOR NAME	John Hatcliff	user correction - Legacy Corrections
AUTHOR AFFIL	Department of Computing and Information Sciences; Kansas State University	user correction - Legacy Corrections
AUTHOR ADDR	Manhattan, Kansas 66506, USA	user correction - Legacy Corrections
ABSTRACT	: Call-by-name can be simulated in a call-by-value setting using "thunks" (i.e., parameterless procedures) or continuation-passing-style (CPS). In this paper we uncover a relationship between the two simulations. We prove that the call-by-value CPS transformation Cv , when applied to a term T (t) which simulates call-by-name using thunks, yields a term identical to the call-by-name CPS transformation Cn applied directly to t (modulo renaming): Cv ffi T j Cn This result sheds new light on the call-by-name CPS transformation --- it can be factored into two conceptually distinct steps: ffl the suspension of argument evaluation (captured in T ); ffl the sequentialization of function application to give the usual tail-calls of CPS terms (captured in Cv ). Keywords: -calculus, call-by-name, call-by-value, continuation-passing style transformation. 1. Introduction Among many possible implementations of call-by-name in Algol 60, one still stands the test of time: Ingerman's "thunks" [8]. A...	user correction - Legacy Corrections
YEAR	1992	INFERENCE
VENUE	Kansas State University	INFERENCE
VENUE TYPE	TECHREPORT	INFERENCE
PAGES	3--11	INFERENCE
TECH	Technical Report CIS-92-28	INFERENCE
CITATIONS	11 found	ParsCit 1.0