| 
|
Quote: input flavor statements specify data assumptions at function invocation; output statements specify data assertions at end
Topic:
flavor analysis and typestates for supplementary type checking
Quotation Skeleton
Input statements can be interpreted as data assumptions … the procedure is called. … Output statements can be interpreted as data assertions … as data assumptions that describe the properties the … [p. 77] Always statements are assumptions which hold true … Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: an always flavor statement specifies data assumptions at every program location
Topic: flavor analysis and typestates for supplementary type checking (68 items)