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

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

Research output: Book/Report › Other report

Original language	English (US)
Publisher	Department of Computer Science, New York University
State	Published - 2008

Name	Technical Report TR2008-910

Cite this

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