Uniqueness inference for compile-time object deallocation

  title={Uniqueness inference for compile-time object deallocation},
  author={Sigmund Cherem and Radu Rugina},
This paper presents an analysis and transformation for individual object reclamation in Java programs. First, we propose a uniqueness inference algorithm that identifies variables and object fields that hold unique references. The algorithm performs an intra-procedural analysis of each method, and then builds and solves a set of inter-procedural uniqueness dependencies to find the global solution. Second, our system uses the uniqueness information to automatically instrument programs with… CONTINUE READING
Highly Cited
This paper has 23 citations. REVIEW CITATIONS


Publications referenced by this paper.
Showing 1-4 of 4 references

Similar Papers

Loading similar papers…