Abstract
The Java Modeling Language is a widely used specification language for Java. However, the tool support has not kept pace with advances in the Java language. This paper describes OpenJML, an implementation of JML tools built by extending the OpenJDK Java tool set. OpenJDK has a readily extendible architecture, though its details could be revised to further facilitate extension. The result is a suite of JML tools for Java 7 that provides static analysis, specification documentation, and runtime checking, an API that is used for other tools, uses Eclipse as an IDE, and can be extended for further research. In addition, OpenJML can leverage the community effort devoted to OpenJDK. © 2011 Springer-Verlag.
Author supplied keywords
Cite
CITATION STYLE
Cok, D. R. (2011). OpenJML: JML for Java 7 by extending OpenJDK. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6617 LNCS, pp. 472–479). https://doi.org/10.1007/978-3-642-20398-5_35
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
