| 
|
Quote: an operation in NIL has unique typestate preconditions and unique typestate postconditions for normal and exception exits
topics >
all references >
references sa-sz >
Topic:
flavor analysis and typestates for supplementary type checking
Quotation Skeleton
Each NIL type family has associated with it … of its operands, which is the typestate the … each operand, resulting from the application of the … for each possible outcome. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: flavor analysis and typestates for supplementary type checking (68 items)