Home
David Cok edited this page Dec 7, 2021
·
64 revisions
This is the home page of the OpenJML wiki. It contains information for developers of OpenJML.
Ongoing discussions about the Java Modeling Language are found in the issues list of the JML Reference Manual project.
The primary portal to OpenJML information for developers is the page you are on.
General user information about OpenJML is here.
Pages not on this TOC are likely out of date.
- Setting up an OpenJML Development Environment
- Building OpenJML
- Testing OpenJML
- Creating OpenJML releases
- Documentation maintenance
- Migrating to a new OpenJDK release
- Upstream Merge Procedure
- Vendor branch - obsolete?
- Installing Eclipse
- How to use the OpenJML Development Environment - NEEDS WORK
Summary of Semantic Discussions here
- Development Strategy 2015
- Model fields in constructor preconditions
- Syntax changes proposed at Dagstuhl
- Default signals_only clause
- Let Expressions
- Proposal to drop spec merging
- Proposal to simplify file suffixes
- Multiple represents clauses
- Non-null modifiers in arrays
- Pure methods as helper methods
- Proposed Quantifier changes
- Semantics of java.lang.Error
- Visibility and Immutability
- Visibility and Store-Refs
- \created semantics
- Weak Behavioral Subtyping
- SafeJML
- Dagstuhl discussion 2009
- Gary's Notes from JML Winter School 2008
- ECOOP 2007 BoF discussion
- Proposal to drop informal descriptions
- Java contracts
- JIR
- Refactoring: Intro Tools (and pages mentioned on the Tools page)
- Temporal JML
Other JML related projects, mostly obsolete or abandoned, are described here.
There are a number of related, but stale, wiki pages regarding these projects.