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.