| 
|
Quote: typestate captures the degree of initialization of simple and composite objects
topics >
all references >
references sa-sz >
Topic:
flavor analysis and typestates for supplementary type checking
Topic:
initialization of data
Quotation Skeleton
Typestate is a refinement of the notion of … the object has been created and whether it … objects have been initialized. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: flavor analysis and typestates for supplementary type checking (68 items)
Topic: initialization of data (42 items)