Featherweight Ownership and Immutability Generic Java (FOIGJ)

Download: PDF.

“Featherweight Ownership and Immutability Generic Java (FOIGJ)” by Alex Potanin, Paley Li, Yoav Zibin, and Michael D. Ernst, School of Engineering and Computer Science. VUW technical report 09-13, (Wellington, New Zealand), December 14, 2009.

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 (alex@ecs.vuw.ac.nz).

Download: PDF.

BibTeX entry:

@techreport{PotaninLZE2009,
   author = {Alex Potanin and Paley Li and Yoav Zibin and Michael D. Ernst},
   title = {{Featherweight} {Ownership} and {Immutability} {Generic}
	{Java} ({FOIGJ})},
   institution = {School of Engineering and Computer Science, VUW},
   number = {09-13},
   address = {Wellington, New Zealand},
   month = {December~14,},
   year = {2009}
}

(This webpage was created with bibtex2web.)

Back to Michael Ernst's publications.