A Bytecode Logic for JML and Types
Abstract elided by the publisher.
Related papers
- JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP TACAS 2005
- The LOOP Compiler for Java and JML TACAS 2001
- 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
- A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java CAV 2007
- Extending JML for Modular Specification and Verification of Multi-threaded Programs ECOOP 2005
- A logic for information flow in object-oriented programs POPL 2006
- Logical bytecode reduction PLDI 2021