Type Annotations Specification (JSR 308)Type Annotations Specification (JSR 308)Michael D. Ernst mernst@cs.washington.edu May 2, 2013 The JSR 308 webpage is https://checkerframework.org/jsr308/. It contains the latest version of this document, along with other information such as a FAQ, the reference implementation, and sample annotation processors. This document is available in PDF format at https://checkerframework.org/jsr308/specific
