Name
Abstract | ||
|---|---|---|
The shift and reset operators, proposed by Danvy and Filinski, are powerful control primitives for capturing delimited continuations. Delimited continuation is a similar concept as the standard (unlimited) continuation, but it represents part of the rest of the computation, rather than the whole rest of computation. In the literature, the semantics of shift and reset has been given by a CPS-translation only. This paper gives a direct axiomatization of calculus with shift and reset, namely, we introduce a set of equations, and prove that it is sound and complete with respect to the CPS-translation. We also introduce a calculus with control operators which is as expressive as the calculus with shift and reset, has a sound and complete axiomatization, and is conservative over Sabry and Felleisen's theory for first-class continuations.
|
Year | DOI | Venue |
|---|---|---|
2003 | 10.1145/944705.944722 | Special Interest Group on Programming Languages |
Keywords | Field | DocType |
first-class continuation,direct axiomatization,whole rest,complete axiomatization,axiomatization,reset operator,cps-translation,powerful control primitive,continuation,similar concept,control operator,delimited continuation,power control | Programming language,Computer science,Delimited continuation,Continuation,Algorithm,Operator (computer programming),Semantics,Calculus,Computation | Journal |
Volume | Issue | ISSN |
38 | 9 | 0362-1340 |
ISBN | Citations | PageRank |
1-58113-756-7 | 35 | 1.34 |
References | Authors | |
19 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Yukiyoshi Kameyama | 1 | 171 | 17.29 |
| Masahito Hasegawa | 2 | 262 | 20.02 |