| 
|
Quote: operator state expressions--an assumption denotes the programmer's expectation that all paths imply some operator state; an assertion becomes part of the operator state
Topic:
flavor analysis and typestates for supplementary type checking
Quotation Skeleton
First order operator comments, like data comments, can … One operator state, sexp, is said to imply … sequences described by cexp. … the assumption ?cexp? denotes the programmer's expectation that … imply cexp. The assertion !cexp! is interpreted to … the current operator state sexp by appending cexp … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: flavor analysis and typestates for supplementary type checking (68 items)