Created
November 20, 2012 03:10
-
-
Save dherman/4115697 to your computer and use it in GitHub Desktop.
links on SSA, CPS, and A-normal form
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 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 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
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/