[Checkers] Paper naming notes

Michael Ernst mernst at csail.mit.edu
Sun May 4 14:20:01 EDT 2008

Some minor style issues:

The two audiences are:
 * programmer  (not "user")
 * type system designer  (not "type system writer")
I'd like to be consistent about this, in order to prevent confusion.

Also, please don't capitalize "Framework" unless it is part of the phrase
"the Checker Framework" (for which the new macros \TheCheckerFramework and
\theCheckerFramework) now exist.



More information about the checkers mailing list