Browsing Theses by Author "Chu, Hang"
Now showing items 1-1 of 1
-
Collection Disjointness Analysis in Java
Chu, Hang (University of Waterloo, 2011-01-19)This thesis presents a collection disjointness analysis to find disjointness relations between collections in Java. We define the three types of disjointness relations between collections: must-shared, may-shared and ...