Non-null references by default in the Java modeling language.

Non-null references by default in the Java modeling language.

Based on our experiences and those of our peers, we hypothesized that in Java code, the majority of declarations that are of reference types are meant to be non-null. Unfortunately, the Java Modeling Language (JML), like most interface specification and object-oriented programming languages, assumes...

Täydet tiedot

Bibliografiset tiedot
Julkaisussa:Software engineering notes. 31, 2 (2006).
Päätekijä: Chalin, Patrice
Aineistotyyppi: Artikkeli
Kieli:English
Aiheet:
Software.
Software Engineering.
Software / Program Verification.
Programming by contract.
Programming languages.
Language constructs and features.
Theory of Computation.
Logics and meanings of programs.
Specifying and verifying and reasoning about programs.
Design.
Documentation.
Languages.
Theory.
Verification.
JML.
Contracts.
Java modeling language.
Non-null references.
Reference types.