| 
|
Quote: flavor analysis: check assumptions about data properties from assertions of those properties along all flows of control
topics >
all references >
references g-h >
Topic:
flavor analysis and typestates for supplementary type checking
Quotation Skeleton
[Flavor analysis:] The programmer is expected to document a … the form !X is alpha! The flavor analyzer … An assumption ?X is alpha? is justified by … path of control that arrives at the assumption. … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: flavor analysis and typestates for supplementary type checking (68 items)