Extended static checking (1998)

by David L. Detlefs, K. Rustan M. Leino, Greg Nelson, James B. Saxe
Venue:SRC RESEARCH REPORT 159, COMPAQ SYSTEMS RESEARCH CENTER