JML and OpenJML for Java 16
| Autor: | David R. Cok |
|---|---|
| Rok vydání: | 2021 |
| Předmět: |
Java
Community engagement Computer science Programming language Semantics (computer science) Software_PROGRAMMINGTECHNIQUES computer.software_genre Formal reasoning Language definition TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS Affect (linguistics) Software_PROGRAMMINGLANGUAGES computer Software verification computer.programming_language Java Modeling Language |
| Zdroj: | Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs. |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|