Download: PDF.

“Inference and Checking of Object Ownership” by W. Huang, W. Dietl, A. Milanova, and M. D. Ernst. In European Conference on Object-Oriented Programming (ECOOP), June 2012, pp. 181-206.


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 typing” for these type systems, and develop an inference approach that maximizes the metric. The programmer can influence the inference by adding partial annotations to the program. We implemented the approach on top of the Checker Framework and present the results of an experimental evaluation.

Keywords: Universe Types, Ownership Types, ownership inference, static

Download: PDF.

BibTeX entry:

   author = {W. Huang and W. Dietl and A. Milanova and M. D. Ernst},
   title = {Inference and Checking of Object Ownership},
   booktitle = {European Conference on Object-Oriented Programming (ECOOP)},
   month = jun,

Back to the publications by date or by topic.

(This webpage was created with bibtex2web.)