Can I read Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs on EtoBox?

Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs by Cok, David R. (author) is a scholarly article available to read on EtoBox.

What is Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs about?

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. ## CCS CONCEPTS • Software and its engineering → Formal software verification.

Author

Cok, David R. (author)

Publisher

ACM

Published

2021

Language

EN