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