| 
|
Quote: copying a pointer may cause aliasing; so its abstract value can be changed as a side-effect
topics >
all references >
references g-h >
Topic:
aliasing
Quotation Skeleton
Although copying pointers may reduce the amount of … Specifically, the assertion "x=y" is true just after … abstract values must be equal. But the aliasing … affect the abstract value of the other. … Now, in reasoning about the effect of any … or even the current procedure--may have their abstract … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: aliasing (28 items)