LCS Publication Details
Publication Title: REASONING ABOUT CONTINUATIONS WITH CONTROL EFFECTS
Publication Author: Jouvelot, Pierre
Additional Authors: Gifford, David K.
LCS Document Number: MIT-LCS-TM-378
Publication Date: 1-1-1989
LCS Group: No Group Specified
Additional URL: No URL Given
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, go to and comefrom, that describe the control flow properties of expressions following because it will always call its passed return continuation. An expression that does not have a comefrom effect is said to be continuation discarding because it will never preserve its return continuation for a later use.
To obtain this publication:

To purchase a printed copy of this publication please contact MIT Document Services.