A Rational Deconstruction of Landin's J Operator Export

@techreport{citeulike:915726, abstract = {Landin's J operator was the first control operator for functional languages, and was specified with an extension of the SECD machine. Through a series of meaning-preserving transformations (transformation into continuation-passing style (CPS) and defunctionalization) and their left inverses (transformation into direct style and refunctionalization), we present a compositional evaluation function corresponding to this extension of the SECD machine. We then characterize the J operator in terms of CPS and in terms of delimited-control operators in the CPS hierarchy. Finally, we present a motivated wish to see Landin's name added to the list of co-discoverers of continuations}, author = {Danvy, Olivier and Millikin, Kevin}, citeulike-article-id = {915726}, citeulike-linkout-0 = {http://www.brics.dk/RS/06/4/index.html}, institution = {BRICS}, keywords = {abstract-machine, contexts, continuations, control, control-operators, cps, defunctionalization, return, secd, tail-recursion}, month = {February}, posted-at = {2006-10-28 10:17:19}, priority = {2}, title = {A Rational Deconstruction of Landin's J Operator}, url = {http://www.brics.dk/RS/06/4/index.html}, year = {2006} }

TY - RPRT ID - citeulike:915726 L3 - citeulike-article-id:915726 N2 - Landin's J operator was the first control operator for functional languages, and was specified with an extension of the SECD machine. Through a series of meaning-preserving transformations (transformation into continuation-passing style (CPS) and defunctionalization) and their left inverses (transformation into direct style and refunctionalization), we present a compositional evaluation function corresponding to this extension of the SECD machine. We then characterize the J operator in terms of CPS and in terms of delimited-control operators in the CPS hierarchy. Finally, we present a motivated wish to see Landin's name added to the list of co-discoverers of continuations TI - A Rational Deconstruction of Landin's J Operator KW - abstract-machine KW - contexts KW - continuations KW - control KW - control-operators KW - cps KW - defunctionalization KW - return KW - secd KW - tail-recursion AU - Danvy, Olivier AU - Millikin, Kevin PY - 2006/02// UR - http://www.brics.dk/RS/06/4/index.html ER -