Collection Disjointness Analysis in Java

Collection Disjointness Analysis in Java

Show other versions (1)

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 not-may-shared. The collection- disjointness analysis is implemented following the...

Full description

Bibliographic Details
Main Author: Chu, Hang
Language:en
Published: 2011
Subjects:
Collection Disjointness
Static Analysis
Java
Electrical and Computer Engineering
Online Access:http://hdl.handle.net/10012/5729

Internet

http://hdl.handle.net/10012/5729

Similar Items