Download: current status and implementation, original proposal.
“Type Annotations specification (JSR 308)” by Michael D. Ernst. Oct. 2011.
Download: current status and implementation, original proposal.
BibTeX entry:
@misc{JSR308-webpage-201110, author = {Michael D. Ernst}, title = {{Type Annotations} specification ({JSR} 308)}, month = oct, year = {2011}, howpublished = {\url{https://checkerframework.org/jsr308/}} }
(This webpage was created with bibtex2web.)
Back to Michael Ernst's publications.