SemanticDiscussionIndex

Semantic Discussions

The JML language semantics are defined in the JML Reference Manual.

This page gives links to detailed discussions and debates about JML's syntax and semantics. Usually these are fine points of debate among language designers and implementers and need not concern normal users, who should instead consult the JML Reference Manual.

Those wishing to contribute to the debate are welcome to do so on this wiki, but the usual way to contribute is to post to the jmlspecs-interest mailing list, and refer to pages here. But you can also contribute to the discussion in the appropriate page, and to refine the proposal at each page, or to contribute new pages, and the notify the community using the jmlspecs-interest list.

Language Design Discussion Pages

Active Discussions

• Notes from discussion about semantic issues at Dagstuhl, July 14, 2009
• [QuantifierChanges]
• [ObjectCreated]
• [SemanticsAndErrors]
• [NonNullModifiers]
• [MultipleRepresentsClauses]
• [VisibilityAndImmutability]

Approved Changes

• [LetExpressions]
• SimplifyingRefinesAndSuffixes
• [InformalDescriptions]
• [WeakBehavioralSubtyping]
• [PureMethodsCanBeHelperMethods]
• [VisibilityAndStoreRefs]
• [DefaultSignalsOnlyClause]