Software Download
Yoonsik Cheon | HOME


JML4c Overview | Download | Documentation

JML4c is a new JML compiler built upon the Eclipse JDT open-source platform; JML is a formal interface specification language for Java to document the behavior of Java classes and interfaces. It translates a significant subset of JML specifications into runtime checks. Some of notable features of JML4c include (1) improved compilation speed, (2) support for Java 5 features such as generics and enhanced for loops, (3) support for nested classes, and (4) improved error messages. Using JML4c, therefore, one can now verify Java 5 classes annotated with JML specifications. [more ...]

The jml4c program was written by Amritam Sarcar and Yoonsik Cheon based on the JML front end (parser and type checker) developed at Concordia University (see JML4) and is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License.

If you have any questions or comments regarding JML4c or this page, please email them to Amritam Sarcar (amritamsarcar AT or Yoonsik Cheon.

This material is based upon work supported by the National Science Foundation under Grant No. CNS-0707874. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation.

Last modified: $Id: index.php,v 1.5 2010/01/28 16:03:38 cheon Exp $