Recency-Abstraction for Heap-Allocated Storage

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/11823230_15 ◽

2006 ◽

pp. 221-239 ◽

Cited By ~ 60

Author(s):

Gogul Balakrishnan ◽

Thomas Reps

Download Full-text