A New Eclipse-Based JML Compiler Built Using AST Merging

Author

Sarcar, Amritam ; Cheon, Yoonsik

Author_Institution

Microsoft Corp., Redmond, WA, USA

Volume

2

fYear

2010

fDate

19-20 Dec. 2010

Firstpage

287

Lastpage

292

Abstract

The Java Modeling Language (JML) is a formal interface specification language to document the behavior of Java program modules and has been used in many research and industrial projects. However, its inability to support Java 5 features such as generics is reducing its user base significantly. Besides, the JML compiler is on average 8.5 times slower than the javac Java compiler. In this paper, we present a new JML compiler built on the Eclipse Java compiler to support Java 5 features. We used a technique called AST merging to implement coarse-grained incremental compilation. In our experiments we observed a significant improvement in compilation speed; the new compiler is 3 to 4.5 times faster than the current one.

Keywords

Java; formal specification; program compilers; specification languages; AST merging; Eclipse Java compiler; Java 5 features; Java Modeling Language compiler; Java program modules; coarse-grained incremental compilation; formal interface specification language; Instruments; Java; Merging; Program processors; Radiation detectors; Runtime; Syntactics; AST merging; Eclipse; JML; incremental compilation; pre and postconditions; runtime assertion checking;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering (WCSE), 2010 Second World Congress on

Conference_Location

Wuhan

Print_ISBN

978-1-4244-9287-9

Type

conf

DOI

10.1109/WCSE.2010.92

Filename

5718395