| 
|
Quote: algorithm for checking typestate consistency, e.g., initialization
topics >
all references >
references sa-sz >
Topic:
flavor analysis and typestates for supplementary type checking
Quotation Skeleton
The following algorithm takes a program graph without … is possible, or else determines that the program … [treats typestate information as a lower semilattice] Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: typestate information forms a lower semilattice
Topic: flavor analysis and typestates for supplementary type checking (68 items)