Featherweight Ownership and Immutability Generic Java (FOIGJ)

TitleFeatherweight Ownership and Immutability Generic Java (FOIGJ)
Publication TypeMiscellaneous
Year of Publication2009
AuthorsPotanin 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>
DownloadsPDF
Citation KeyPotaninLZE2009
Last changed Mon, 2013-06-03 10:27