Reasoning about continuations with control effects
- 21 June 1989
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 24 (7) , 218-226
- https://doi.org/10.1145/73141.74837
Abstract
We present a new static analysis method for first-class continuations that uses an effect system to classify the control domain behavior of expressions in a typed polymorphic language. We introduce two new control effects, goto and comefrom, that describe the control flow properties of expressions. An expression that does not haveagoto effect is said to be continuation following because it will always call its passed return continuation. An expression that does not haveacomefrom effect is said...Keywords
This publication has 11 references indexed in Scilit:
- The theory and practice of first-class promptsPublished by Association for Computing Machinery (ACM) ,1988
- Polymorphic effect systemsPublished by Association for Computing Machinery (ACM) ,1988
- Implementation strategies for continuationsPublished by Association for Computing Machinery (ACM) ,1988
- λ-V-CS: an extended λ-calculus for schemePublished by Association for Computing Machinery (ACM) ,1988
- Continuations may be unreasonablePublished by Association for Computing Machinery (ACM) ,1988
- Embedding continuations in procedural objectsACM Transactions on Programming Languages and Systems, 1987
- Obtaining coroutines with continuationsComputer Languages, 1986
- A linguistic contribution to GOTO -less programmingCommunications of the ACM, 1984
- Continuation-based multiprocessingPublished by Association for Computing Machinery (ACM) ,1980
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977