[Checkers] Checker features

Michael Ernst mernst at csail.mit.edu
Tue May 6 12:02:53 EDT 2008

Can you makes sure that al of the features of the checkers are mentioned
(briefly!) in the paper?  Example are the., the optional checking of the
interned checker for .equals that can be ==, and its special treatment
(sound, not just a heuristic) for == tests inside .equals and .compareTo


More information about the checkers mailing list