author = {C. Scott Ananian},
  title = {The Static Single Information Form},
  month = {Sep},
  year = {1999},
  institution = {Laboratory for Computer Science, Massachusetts Institute of
  number = {MIT-LCS-TR-801},
  abstract = {First half is nice and hacky - all about why SSI is needed,
                  contrasting it with SSA, etc., also a (slightly strange) way
                  to construct it using SESE regions. Second half is wierd and
                  wonderful theory, whcich hopefully we can largely ignore -
                  gives an executable semantics to some variant of the
                  standard SSI form.},
  url = {}
  author = {Boissinot, Benoit and Brisk, Philip and Darte, Alain and Rastello, Fabrice},
  title = {SSI Properties Revisited},
  journal = {ACM Trans. Embed. Comput. Syst.},
  volume = {11S},
  number = {1},
  month = jun,
  year = {2012},
  pages = {21:1--21:23},
  url = {},
  doi = {10.1145/2180887.2180898},
  abstract = {Corrects mistakes in previous definitions of SSI. Considers properties of live ranges in SSI programs.}

This file was generated by bibtex2html 1.96.