search

softwarelanguageslab / maf

Static Analysis Framework for Modular Analyses
Other
13 stars 11 forks source link

Support first-class continuations in SchemeInterpreter #18

Open noahvanes opened 3 years ago

noahvanes commented 3 years ago

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.

jevdplas commented 3 years ago

A Scheme interpreter in CPS style has been added in 3703787331882c99077af668308565eeb8b3c198