@techreport{ananian99ssi,
author = {C. Scott Ananian},
title = {The Static Single Information Form},
month = {Sep},
year = {1999},
institution = {Laboratory for Computer Science, Massachusetts Institute of
Technology},
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 = {http://www.lcs.mit.edu/specpub.php?id=1340}
}
@article{boissinot12ssi,
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 = {http://doi.acm.org/10.1145/2180887.2180898},
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.