@article{appel98ssa,
author = {Andrew W. Appel},
title = {{SSA} is functional programming},
journal = {ACM SIGPLAN Notices},
volume = {33},
number = {4},
month = {Apr},
year = {1998},
pages = {17--20},
url = {http://doi.acm.org/10.1145/278283.278285}
}
@article{kelsey95correspondence,
author = {Richard A. Kelsey},
title = {A correspondence between continuation passing style and
static single assignment form},
journal = {ACM SIGPLAN Notices},
volume = {30},
number = {3},
month = {Mar},
year = {1995},
pages = {13--22},
url = {http://doi.acm.org/10.1145/202530.202532}
}
@inproceedings{zadarnowski03functional,
author = {Manuel M.T. Chatravarty and Gabriele Keller and Patryk
Zadarnowski},
title = {A Functional Perspective on {SSA} Optimisation Algorithms},
booktitle = {Proceedings of the 2nd International Workshop on Compiler
Optimization Meets Compiler Verification},
year = {2003},
url = {http://citeseer.ist.psu.edu/chakravarty03functional.html}
}
This file was generated by bibtex2html 1.96.