Quote: use alias burying to avoid destructive reads of 'read-once' variables; aliases must be dead when reading a unique field of possibly shared objects; static enforcement by restricting aliases across procedure calls

Quotation Skeleton

Baker [SIGPLAN 30.1:45-52, 1995] proposes that unique variables be designated … every execution path during its lifetime. … The 'use once' restriction can be enforced syntactically … be accessed multiple times … In order to handle this case, [variables can be read destructively by setting their value to null] … This paper proposes an alternative check for uniqueness, … Together with restrictions on aliasing across procedure calls, …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: dangling pointers (13 items)
Topic: aliasing (28 items)
Topic: safe use of pointers (102 items)
Topic: initialized constants (12 items)