Featherweight Ownership and Immutability Generic Java (FOIGJ)
Submitted by mernst on Wed, 2011-11-30 14:35
| Title | Featherweight Ownership and Immutability Generic Java (FOIGJ) |
| Publication Type | Miscellaneous |
| Year of Publication | 2009 |
| Authors | Potanin A, Li P, Zibin Y, Ernst MD |
| Abstract | <p>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></tt> alex@ecs.vuw.ac.nz}).</p> |
| Downloads | |
| Citation Key | PotaninLZE2009 |
Last changed Mon, 2013-06-03 10:27

cs.