| 
|
Quote: a type guard consists of a key and optional local state; the key must be in the global held-key state when accessing the variable
topics >
all references >
references c-d >
Topic:
flavor analysis and typestates for supplementary type checking
Quotation Skeleton
The global state [of computation], called the held-key set, … Keys can be neither duplicated nor lost, thereby … The atomic predicate of type guards is whether … The declaration 'K:FILE input;' declares the variable 'input' … that the key K must be in the … 'K@open:FILE input;' declares that a key K in … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: flavor analysis and typestates for supplementary type checking (68 items)