The LOOP Compiler for Java and JML
Abstract elided by the publisher.
Related papers
- A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java CAV 2007
- JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP TACAS 2005
- A Bytecode Logic for JML and Types APLAS 2006
- CHASE: A Static Checker for JML's Assignable Clause VMCAI 2003
- A Simple and Practical Approach to Unit Testing: The JML and JUnit Way ECOOP 2002
- Extending JML for Modular Specification and Verification of Multi-threaded Programs ECOOP 2005
- An analyzable annotation language OOPSLA 2002
- Loop Transformations in the Ahead-of-Time Optimization of Java Bytecode CC 2006