| 
|
Quote: field properties refine type information for reference fields; e.g., does not reference subclasses of C, contains fixed-size array
topics >
all references >
references g-h >
Topic:
flavor analysis and typestates for supplementary type checking
Topic:
code optimization
Quotation Skeleton
An example of a field property is type … show that a field, if non-null, only references … often prove that a field, if non-null, always … [p. 335] Most of the field properties that are … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: flavor analysis and typestates for supplementary type checking (68 items)
Topic: code optimization (54 items)