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.
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.