| 
|
Quote: a flavor is a property of an object that changes during program execution; e.g., 'total' may be initialized, partial sum, total sum
Topic:
flavor analysis and typestates for supplementary type checking
Topic:
dynamic type checking
Quotation Skeleton
Flavors are properties of objects which change during … [e.g., in summing a set of values,] Then at different times total may have … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: flavor analysis and typestates for supplementary type checking (68 items)
Topic: dynamic type checking (43 items)