handled java 1.5
RSS handled java 1.5Sort by: Relevance | Date
Adapting JML to Generic Types and Java 1.6
White Paper Many implementation details for JML tools can be handled by choosing an existing Java 1.5+ compiler as a base; however, there are adjustments to the typing of JML expressions that would... [15 Jan 2009]
