search

softwarelanguageslab / maf

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

Use TailCalls in Concrete Scheme Interpreter #5

Closed jevdplas closed 3 years ago

jevdplas commented 3 years ago

The concrete Scheme interpreter is currently written in a recursive style. This however causes stackoverflow errors on some benchmarks, meaning they cannot be used for testing.

jevdplas commented 3 years ago

To support call-with-current-continuation, the Scheme interpreter will have to be written in a CPS style.

noahvanes commented 3 years ago

Issue closed. See #18 for call/cc support.