ssa15.bib

@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.