Inference and Checking of Object Ownership

  title={Inference and Checking of Object Ownership},
  author={Wei Huang and Werner Dietl and Ana Milanova and Michael D. Ernst},
Ownership type systems describe a heap topology and enforce an encapsulation discipline; they aid in various program correctness and understanding tasks. However, the annotation overhead of ownership type systems has hindered their widespread use. We present a unified framework for specification, type inference and type checking of ownership type systems, and instantiate the framework for two such systems: Universe Types and Ownership Types. We present an objective metric defining a “best… CONTINUE READING
Highly Cited
This paper has 50 citations. REVIEW CITATIONS
31 Citations
27 References
Similar Papers


Publications citing this paper.

fewer than 50 Citations

Citations per Year
Semantic Scholar estimates that this publication has 50 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 27 references

A Type System for Reference Immutability

  • W. Huang, A. Milanova
  • Technical report,
  • 2011
Highly Influential
5 Excerpts

On optimality of ownership type inference

  • W. Huang, A. Milanova
  • Poster at ECOOP,
  • 2011
1 Excerpt

Similar Papers

Loading similar papers…