Java-like languages

Disjointness analysis for Java-like languages

FREE-DOWNLOAD JC Jenista… – 2009
This paper presents a disjointness analysis for Java-like lan- guages. Two objects are disjoint
if the parts of the heap reachable from the two objects are disjoint. The analysis is based on static
reachability graphs, which characterize the reachability of each object in the heap from a