Quote: using borrowed variables and annotations, defer read nullification until the variable becomes dead; need annotations on fields and method interfaces

Quotation Skeleton

[With borrowed variables,] under reasonable assumptions, we can defer almost … and can be removed. … [p.543] In summary, a strong uniqueness invariant can … needed only on fields and in method interfaces: … need to annotate local variables.   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: safe use of pointers (102 items)