Article

Automatic Inference of Reference-Count Invariants

02/2004;
Source: CiteSeer

ABSTRACT While we know how to eciently collect short-lived garbage, collecting long-lived garbage usually requires expensive tracing traversals. This paper suggests a static analysis technique that can identify program points that make objects unreachable, allowing automatic insertion of explicit deallocation functions.

0 0
 · 
0 Bookmarks
 · 
35 Views
Data provided are for informational purposes only. Although carefully collected, accuracy cannot be guaranteed. The impact factor represents a rough estimation of the journal's impact factor and does not reflect the actual current impact factor. Publisher conditions are provided by RoMEO. Differing provisions from the publisher's actual policy or licence agreement may be applicable.

Full-text

View
0 Downloads
Available from

Keywords

explicit deallocation functions
 
make objects unreachable
 
program points
 
short-lived garbage
 
static analysis technique