Abstracting Control (1990) [61 citations — 3 self]
http://www.brics.dk/~andrzej/papers/AC.ps.gz
ftp://ftp.daimi.au.dk/pub/empl/danvy/Papers/danvy-
DBLP
CACHED:
|
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
author = {Olivier Danvy and Andrzej Filinski},
title = {Abstracting Control},
booktitle = {In Proceedings of the 1990 ACM Conference on LISP and Functional Programming},
year = {1990},
pages = {151--160},
publisher = {ACM Press}
}
Years of Citing Articles
Bookmarks
OpenURL
Abstract:
The last few years have seen a renewed interest in continuations for expressing advanced control structures in programming languages, and new models such as Abstract Continuations have been proposed to capture these dimensions. This article investigates an alternative formulation, exploiting the latent expressive power of the standard continuation-passing style (CPS) instead of introducing yet other new concepts. We build on a single foundation: abstracting control as a hierarchy of continuations, each one modeling a specific language feature as acting on nested evaluation contexts. We show how iterating the continuation-passing conversion allows us to specify a wide range of control behavior. For example, two conversions yield an abstraction of Prologstyle backtracking. A number of other constructs can likewise be expressed i...
