| 
|
Quote: when multiple control paths join, typestate is greatest lower bound of incoming typestates
topics >
all references >
references sa-sz >
Topic:
flavor analysis and typestates for supplementary type checking
Quotation Skeleton
Thus, at control join points such as following … lower bound of the resulting typestates of each … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: flavor analysis and typestates for supplementary type checking (68 items)