Sciweavers

PLDI
2000
ACM

Symbolic bounds analysis of pointers, array indices, and accessed memory regions

13 years 10 months ago
Symbolic bounds analysis of pointers, array indices, and accessed memory regions
Radu Rugina, Martin C. Rinard
Added 01 Aug 2010
Updated 01 Aug 2010
Type Conference
Year 2000
Where PLDI
Authors Radu Rugina, Martin C. Rinard
Comments (0)