Inferring aliasing and encapsulation properties for java

  title={Inferring aliasing and encapsulation properties for java},
  author={Kin-Keung Ma and Jeffrey S. Foster},
There are many proposals for language techniques to control aliasing and encapsulation in object oriented programs, typically based on notions of object ownership and pointer uniqueness. Most of these systems require extensive manual annotations, and thus there is little experience with these properties in large, existing Java code bases. To remedy this situation, we present Uno, a novel static analysis for automatically inferring ownership, uniqueness, and other aliasing and encapsulation… CONTINUE READING
Highly Cited
This paper has 60 citations. REVIEW CITATIONS

15 Figures & Tables



Citations per Year

61 Citations

Semantic Scholar estimates that this publication has 61 citations based on the available data.

See our FAQ for additional information.