Results 1 -
3 of
3
Introduction to RAISE
- 2006 UNU-IIST, P.O. Box 3058, Macao
, 2002
"... types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 2.2.6 Records . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 2.2.7 Variants . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 2.2.8 Unions . ..."
Abstract
-
Cited by 5 (5 self)
- Add to MetaCart
types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 2.2.6 Records . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 2.2.7 Variants . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 2.2.8 Unions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 2.3 Values . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 2.3.1 Overloading and Distinguishable Types . . . . . . . . . . . . . . . . . . . . . . . . 12 2.4 Logic . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 2.4.1 Quanti ers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 2.4.2 Typings . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 2.4.3 Bindings . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 2.5 Value Expressions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 2.5.1 Set Expressions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 2.5.2 List Expressions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 2.5.3 Map Expressions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 2.5.4 Let Expressions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 2.5.5 Case Expressions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 2.6 Axioms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 2.7 Test Cases . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ....
JML support for primitive arbitrary precision numeric types: definition and semantics
- Concordia University 002.2a
, 2003
"... www.cs.concordia.ca/~faculty/chalin The Java Modeling Language, JML, is a notation for specifying and describing the detailed design and ..."
Abstract
-
Cited by 4 (0 self)
- Add to MetaCart
www.cs.concordia.ca/~faculty/chalin The Java Modeling Language, JML, is a notation for specifying and describing the detailed design and
