Skip to content

Instantly share code, notes, and snippets.

@dherman

dherman/ssa-cps-anf.txt

Created November 20, 2012 03:10
Show Gist options
  • Save dherman/4115697 to your computer and use it in GitHub Desktop.
Save dherman/4115697 to your computer and use it in GitHub Desktop.
Download ZIP
links on SSA, CPS, and A-normal form
Raw
ssa-cps-anf.txt
Original paper on A-normal form:
http://redlinernotes.com/docs/Classics/The%20Essence%20of%20Compiling%20with%20Continuations.pdf
A high-level intro to ANF:
http://matt.might.net/articles/a-normalization/
One of the earlier attempts to relate SSA and CPS:
http://www.cs.purdue.edu/homes/suresh/502-Fall2008/papers/kelsey-ssa-cps.pdf
Another comparison of CPS and ANF:
http://research.microsoft.com/pubs/64044/compilingwithcontinuationscontinued.pdf
More discussion of all three:
http://lambda-the-ultimate.org/node/3467
@jacobstanley
Copy link

I came across this gist via Google and thought you may be interested in this paper (and some slides) which compare ANF and SSA:

https://www.jantar.org/ssa-lambda/

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment