| 
|
Quote: a typestate is a type annotation that captures state attributes such as uninitialized; mutually exclusive
topics >
all references >
references sa-sz >
Topic:
flavor analysis and typestates for supplementary type checking
Topic:
data types in Thesa
Quotation Skeleton
Typestate captures the notion of an object's being … an associated set of typestates [e.g., uninitialized and initialized]. An object … the typestates associated with its type. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: flavor analysis and typestates for supplementary type checking (68 items)
Topic: data types in Thesa (92 items)