| Title | Featherweight Ownership and Immutability Generic Java (FOIGJ) |
| Publication Type | Miscellaneous |
| Year of Publication | 2009 |
| Authors | Potanin A, Li P, Zibin Y, Ernst MD |
| Date or Month Published | December 14, |
| Abstract | This technical report presents the full set of formal rules and proofs that accompany our paper called ``Ownership and Immutability in Generic Java (OIGJ)''. Questions regarding this technical report should be directed to Alex Potanin (\tt alex@ecs.vuw.ac.nz). |
| Downloads | https://homes.cs.washington.edu/~mernst/pubs/ownership-immutability-tr09... PDF
|
| Citation Key | PotaninLZE2009 |
