Points-to Analysis, Conditional Soundness, and Proving the Absence of Errors

“Points-to Analysis, Conditional Soundness, and Proving the Absence of Errors” by Christopher L. Conway, Dennis Dams, Kedar S. Namjoshi, and Clark Barrett, Depatrment of Computer Science. New York University technical report TR2008-910, Mar. 2008.

BibTeX entry:

@techreport{CDN+08-TR,
   author = {Christopher L. Conway and Dennis Dams and Kedar S. Namjoshi
	and Clark Barrett},
   title = {Points-to Analysis, Conditional Soundness, and Proving the
	Absence of Errors},
   institution = {Depatrment of Computer Science, New York University},
   number = {TR2008-910},
   month = mar,
   year = {2008},
   url = {http://theory.stanford.edu/~barrett/pubs/CDN+08-TR.pdf}
}

(This webpage was created with bibtex2web.)