DevelopmentNotes

Development Direction

This page gives access to notes and discussions about JML tool and language development. It's been largely overtaken by events.

• The original JML2 tools are still available, but for Java 1.4.
• OpenJML is the principal tool available for Java 1.5,6,7.
• See also the JML4 page for more specific information about the JML4 effort.

Currently we have the following content, representing some of the previous discussion (now essentially closed):

• Notes from the JML BoF at ECOOP, July 29, 2007.
• An evaluation of OpenJDK as a foundation for the JML tools (pdf)
• An evaluation of Eclipse JDT as a foundation for JML Reloaded (pdf)
• A case study (pdf) with Loop Annotations to implement an extensible runtime assertion checker for JML using JastAdd