Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Support first-class continuations in SchemeInterpreter #18

Open
noahvanes opened this issue Jan 19, 2021 · 1 comment
Open

Support first-class continuations in SchemeInterpreter #18

noahvanes opened this issue Jan 19, 2021 · 1 comment
Labels
Enhancement New feature or request Scheme Standard library

Comments

@noahvanes
Copy link
Collaborator

noahvanes commented Jan 19, 2021 •
edited
Loading

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.
This was referenced Jan 19, 2021
Closed
Closed
@jevdplas
Copy link
Collaborator

A Scheme interpreter in CPS style has been added in 3703787

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Enhancement New feature or request Scheme Standard library
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@noahvanes @jevdplas