JML and OpenJML for Java 16
David R. Cok
Abstract
As the Java language evolves, the Java Modeling Language (JML) and the OpenJML deductive verification tool must evolve with it. Changes in Java since Java 8 bring language and organizational changes which affect the semantics of JML and the implementation of OpenJML. They also raise questions about language definition, joint efforts, and community engagement, some enumerated in this paper, for the Java formal reasoning community to address.
Topics & Concepts
Computer scienceJavaJava Modeling LanguageProgramming languageReal time JavaJava annotationJava API for XML-based RPCGenerics in JavaSemantics (computer science)Logic, programming, and type systemsParallel Computing and Optimization TechniquesModel-Driven Software Engineering Techniques