An Overview of JML Tools and Applications

DMCA

An Overview of JML Tools and Applications (2003)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Lilian Burdy , Yoonsik Cheon , David Cok , Michael D. Ernst , Joe Kiniry , Gary T. Leavens , K. Rustan M. Leino , Erik Poll

Citations:

368 - 54 self

BibTeX

@MISC{Burdy03anoverview,
    author = {Lilian Burdy and Yoonsik Cheon and David Cok and Michael D. Ernst and Joe Kiniry and Gary T. Leavens and K. Rustan M. Leino and Erik Poll},
    title = {An Overview of JML Tools and Applications},
    year = {2003}
}

OpenURL

Abstract

The Java Modeling Language (JML) can be used to specify the detailed design of Java classes and interfaces by adding annotations to Java source files. The aim of JML is to provide a specification language that is easy to use for Java programmers and that is supported by a wide range of tools for specification type-checking, runtime debugging, static analysis, and verification. This paper

Keyphrases

jml tool java source file detailed design runtime debugging specification language java class java modeling language wide range static analysis specification type-checking java programmer

DMCA