Development of JML tools
Overview
The Common (formerly ISU) tools for JML are open source, so all are welcome to help in their implementation, or to supply bug fixes. Current development work on these tools is proceeding as part of the MultiJava compiler project.
All current work is being done on sourceforge.net's jmlspecs project, from which you can:
- browse our CVS archive,
- read our mailing list archives, or
- read and submit change requests, feature requests, etc.
Details
- How to help develop the JML tools (basic starting points, including a link to the file docs/developer-tips.html in the JML release).
- Staff at the University of Central Florida and Iowa State University working on JML.
- Others working on JML tools.
- Some pictures of JML developers.
- Acknowledgements.
Last modified Thursday, September 20, 2007.