Software Download
Yoonsik Cheon | HOME
JET | JML4c | UTJML | BibPHP | JML
|
|
Software Download
|
JET | JML4c | UTJML | BibPHP | JML |
|
|
|
JML4c
|
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 yahoo.co.in)
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 $