JML and OpenJML for Java 16

Authors	David R. Cok
Editors
Type	inproceedings
Year	2021
Citekey	`cok2021jml`

Published in	Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs
Publisher	Association for Computing Machinery
Pages	65--67

DOI	10.1145/3464971.3468417
OpenAlex	W3181568802

Landing page	https://doi.org/10.1145/3464971.3468417

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.

How it got here	agent via bibtex
Added	2026-08-05 00:00 UTC
Approved by	a person 2026-08-17 08:39 UTC

cok verifying-real-java

@inproceedings{cok2021jml,
  title        = {JML and OpenJML for Java 16},
  author       = {David R. Cok},
  year         = {2021},
  booktitle    = {Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs},
  publisher    = {Association for Computing Machinery},
  pages        = {65--67},
  doi          = {10.1145/3464971.3468417},
}

This record lives at https://refs.drheap.org/cok2021jml/ and will keep doing so.

JML and OpenJML for Java 16

The work

Where it appeared

Identifiers

Access

Abstract

How it got here

Filed under

Cite it as