First steps in formalising JML: Exceptions in Predicates

Joachim van den Berg
Erik Poll
Bart Jacobs

Publication date

January 2000

Abstract

This note describes the rst steps toward a rigorous formal semantics of JML speci cations for Java. This semantics is developed within the framework of the LOOP project [5,11]. JML speci cations stating invariants, pre- and post-conditions are expressed as Hoare sentences tailored to Java

Extracted data

We use cookies to provide a better user experience.

Data Protection

First steps in formalising JML: Exceptions in Predicates

Abstract

Extracted data

First steps in formalising JML: Exceptions in Predicates

Abstract

Extracted data

Related items

Related items