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

topics > all references > references a-b > QuoteRef: boylJ5_2001 , p. 545

safe use of pointers
program proof via assertions

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 up

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

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.