Quote: the flavor analyzer does not interpret data objects; so A(T) and A(R) are treated separately

Quotation Skeleton

The data name problem [e.g., does A(T) and A(R) refer to the same entity] is avoided as … [flavor] … data items that can have flavors. [If A(T) and A(R) refer to the same item, then two identical flavor comments are needed for A(T) and A(R)].   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: flavor analysis and typestates for supplementary type checking (68 items)
Topic: aliasing (28 items)