Ownership meets Java

Abstract: Ownership Generic Java (OGJ) is a language with ownership types as an extension to Java. In this position paper we outline the state of OGJ. We hope that the other aliasing and ownership researchers would benefit from the discussion around how to add ownership into a modern generic and annotation-capable typed object-oriented language like Java.

  author = 	 {Christopher Fogelberg and Alex Potanin and James Noble},
  title = 	 {Ownership Meets Java},
  year = 	 {2007},
  month =        {July}
  booktitle =    {2nd International Workshop on Aliasing, Confinement and Ownership (IWACO) at ECOOP2007},
  editor =       {Tobias Wrigstad},
  pages =        {30-33},
  note = 	 {Available from {\tt{http://syntilect.com/pubs/ecoop2007}}}

Available here.