Quote: for alias burying, annotate parameters, return values, and fields as unique or borrowed; restricts use; need to analyze local variables

Quotation Skeleton

We add annotations on procedure parameters and return … [or borrowed]. The object referred to by a borrowed parameter may not … not borrowed) actual parameter. The same lattice provides … a unique value may be passed to a … . [p. 546] If all procedures fulfill these responsibilities … [on unique and borrowed parameters] … in a procedure are variables set by this …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: safe use of pointers (102 items)
Topic: program proof via assertions (61 items)