Support first-class continuations in SchemeInterpreter
Opened this issue · 1 comments
noahvanes commented
While the concrete Scheme interpreter now uses TailCalls to avoid StackOverflowExceptions, it is still does not allow for reification of its continuations. This is necessary to support first-class continuation values and the corresponding Scheme primitive call/cc (which is already support by our ModF analyses).
Therefore, it might be necessary to rewrite the concrete Scheme interpreter manually in CPS-style.