| 
|
Quote: handle infeasible paths by assigning flavors to a special 'path condition'; stop path exploration when the flavor assumption fails
Topic:
flavor analysis and typestates for supplementary type checking
Quotation Skeleton
The infeasible path problem [for static program analysis] is dealt with … in the normal way and uses a flavor … flavor assumption is not satisfied, instead of preparing … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: flavor analysis and typestates for supplementary type checking (68 items)