| 
|
Quote: balloon type checking verifies that only one external reference exists; e.g., free clusters may be captured by only one balloon and captured clusters can not merge
Topic:
safe use of pointers
Quotation Skeleton
The task of [balloon type checking] analysis is to make … --non-balloons in clusters containing no balloon -- free … which may already have a balloon -- captured … are prevented from being captured by some balloons … to B). Google-1 Google-2
Copyright clearance needed for quotation.
Topic: safe use of pointers (102 items)