Points-to analysis, conditional soundness, and proving the absence of errors

Christopher L. Conway, Dennis Dams, Kedar S. Namjoshi, Clark Barrett

Research output: Book/ReportOther report

Original languageEnglish (US)
PublisherDepartment of Computer Science, New York University
StatePublished - 2008

Publication series

NameTechnical Report TR2008-910

Cite this

Conway, C. L., Dams, D., Namjoshi, K. S., & Barrett, C. (2008). Points-to analysis, conditional soundness, and proving the absence of errors. (Technical Report TR2008-910). Department of Computer Science, New York University.