Sunday, March 17, 2013

Type Annotations (JSR 308) and the Checker Framework


http://types.cs.washington.edu/checker-framework/current/checkers-manual.html
http://types.cs.washington.edu/jsr308/