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