Contains the source code for a parser and typechecker for JML annotations and java code.
The package serves also as a basis for deriving other tools operating jml and java parse trees.
Related Documentation
For an overview, syntax, informal semantics, and examples of the JML
language, please refer to:
-
Gary T. Leavens,
Albert L. Baker, and
Clyde Ruby.
Preliminary Design of JML:
A Behavioral Interface Specification Language for Java.
Department of Computer Science,
Iowa State University, TR #98-06p, June 1998, revised July, November 1998,
January, April, June, July, August, December 1999, February, May,
July, December 2000, February, April, May, August 2001.
[abstract]
[postscript]
[PDF]