A Rational Deconstruction of Landin's J Operator release_23bkms56nvbfzjlgross556vhm

by Olivier Danvy, Kevin Millikin

Published in BRICS Report Series by Aarhus University Library.

2006   Volume 13

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.
In application/xml+jats format

Archived Files and Locations

application/pdf  188.8 kB
file_amplqqyqsbfprhvm4gl2ppjrge
web.archive.org (webarchive)
www.brics.dk (web)
application/pdf  260.7 kB
file_5u2jygblpzfevjmts7jxuoduum
www.brics.dk (web)
cs.au.dk (web)
web.archive.org (webarchive)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Date   2006-02-12
Container Metadata
Not in DOAJ
Not in Keepers Registry
ISSN-L:  0909-0878
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 2415289a-033d-4683-803a-7c48763727c9
API URL: JSON