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.

Points-to analysis, conditional soundness, and proving the absence of errors. / Conway, Christopher L.; Dams, Dennis; Namjoshi, Kedar S.; Barrett, Clark.

Department of Computer Science, New York University, 2008. (Technical Report TR2008-910).

Research output: Book/ReportOther report

Conway, CL, Dams, D, Namjoshi, KS & 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.
Conway CL, Dams D, Namjoshi KS, Barrett C. Points-to analysis, conditional soundness, and proving the absence of errors. Department of Computer Science, New York University, 2008. (Technical Report TR2008-910).
Conway, Christopher L. ; Dams, Dennis ; Namjoshi, Kedar S. ; Barrett, Clark. / Points-to analysis, conditional soundness, and proving the absence of errors. Department of Computer Science, New York University, 2008. (Technical Report TR2008-910).
@book{274b8dd0aef14f80898adac134d5db97,
title = "Points-to analysis, conditional soundness, and proving the absence of errors",
author = "Conway, {Christopher L.} and Dennis Dams and Namjoshi, {Kedar S.} and Clark Barrett",
year = "2008",
language = "English (US)",
series = "Technical Report TR2008-910",
publisher = "Department of Computer Science, New York University",

}

TY - BOOK

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

AU - Conway, Christopher L.

AU - Dams, Dennis

AU - Namjoshi, Kedar S.

AU - Barrett, Clark

PY - 2008

Y1 - 2008

M3 - Other report

T3 - Technical Report TR2008-910

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

PB - Department of Computer Science, New York University

ER -