Details

Autor(en) / Beteiligte

• Cok, David R.
• Rebelo, Henrique

Titel

Documentation and Educational Materials for a 2nd Edition of the Java Modeling Language

Ist Teil von

• Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs, 2022, p.26-28

Ort / Verlag

New York, NY, USA: ACM

Erscheinungsjahr

2022

Quelle

ACM Digital Library Complete

Beschreibungen/Notizen

• JML is an ambitious project in formal specification and verification, ongoing since 1997, that has aimed to bring value to Java programmers. Participants in the project are now undertaking a significant revision of the language itself (Cok, Leavens, Ulbrich) and accompanying that with educational materials (Cok, Meija, Leavens), documentation rewrites and tool upgrades (Cok). The current state of this work-in-progress is presented here in order to encourage wide-spread contribution and comment on the language revisions, its semantics, the educational tutorial, and related tools.