| 
|
Quote: a balloon type has only one static reference, the reference is external, and no external reference to an internal object
Topic:
safe use of pointers
Topic:
static single assignment; SSA
Quotation Skeleton
Balloon Invariant: If B is an object of … of all objects. I_2 This reference (if it … by any object external to B. … We should stress that the invariant … ignores references in variables from the chain of … dynamic aliasing. … [p. 41] I_4 From all objects that make up … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: safe use of pointers (102 items)
Topic: static single assignment; SSA (19 items)