2 ms·
A stack is an over approximation of the closure of the continuation. You want something to create a union of all the relevant local variables of each state. Do
by Ericson2314 7y ago
A stack is an over approximation of the closure of the continuation.
You want something to create a union of all the relevant local variables of each state. Doing this efficiently is non compositional and so requires language support.