| 
|
Quote: with typestate checking can not initialize an object in only one branch of a conditional
topics >
all references >
references sa-sz >
Topic:
flavor analysis and typestates for supplementary type checking
Quotation Skeleton
The requirement of typestate invariance constrains the programmer, … (e.g., an IF statement whose THEN clause … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: flavor analysis and typestates for supplementary type checking (68 items)