Featherweight Ownership and Immutability Generic Java (FOIGJ) — technical report

Download: PDF.

“Featherweight Ownership and Immutability Generic Java (FOIGJ) — technical report” by Yoav Zibin, School of Engineering and Computer Science. VUW technical report 10-05, (Wellington, New Zealand), July 2010. http://ecs.victoria.ac.nz/Main/TechnicalReportSeries.
A previous version appeared as VUW technical report 10-05, (Wellington, New Zealand), Mar. 2010. http://ecs.victoria.ac.nz/Main/TechnicalReportSeries.

Abstract

This technical report contains proofs that were omitted from our paper entitled “Ownership and Immutability in Generic Java”, which appears in OOPSLA 2010.

Download: PDF.

BibTeX entry:

@techreport{Zibin2010:TR:10-16,
   author = {Yoav Zibin},
   title = {{F}eatherweight {O}wnership and {I}mmutability {G}eneric
	{J}ava {(FOIGJ)} --- technical report},
   institution = {School of Engineering and Computer Science, VUW},
   number = {10-05},
   address = {Wellington, New Zealand},
   month = jul,
   year = {2010},
   note = {\url{http://ecs.victoria.ac.nz/Main/TechnicalReportSeries}}
}

(This webpage was created with bibtex2web.)

Back to Program Analysis Group publications.