| 
|
Quote: use assumption and assertion comments to state that x has a single property or some property with other properties
Topic:
flavor analysis and typestates for supplementary type checking
Quotation Skeleton
We will denote that a data comment expression … y>=b? The first term specifies that x is … assumed to have property b, and possibly other … [Data assertions use the same expressions enclosed in "!" symbols. In !x==a and y>=b?,] The first term specifies that x is … the property a is to be added to … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: flavor analysis and typestates for supplementary type checking (68 items)