Download: current status and implementation, original proposal.
“Type Annotations specification (JSR 308)” by Michael D. Ernst. September 12, 2008.
Download: current status and implementation, original proposal.
BibTeX entry:
@misc{JSR308,
author = {Michael D. Ernst},
title = {{Type Annotations} specification ({JSR} 308)},
month = {September~12,},
year = {2008},
howpublished = {\url{http://types.cs.washington.edu/jsr308/}}
}
(This webpage was created with bibtex2web.)
Back to Program Analysis Group publications.