Map
Index
Random
Help
th

Quote: alias burying my be used with existing compilers and run-time systems

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



Topic:
safe use of pointers
Topic:
error messages

Quotation Skeleton

The benefit [of alias burying] is that the annotations can … compilers and run-time systems can be used unchanged. … uniqueness is preserved. Apparently minor source-level changes may … [It may be better to use a theorem prover for the static analysis].   Google-1   Google-2

Copyright clearance needed for quotation.

Additional Titles

Quote: alias burying requires a complex, intraprocedural analysis; minor source-level changes may lead to confusing error messages

Related Topics up

Topic: safe use of pointers (102 items)
Topic: error messages (37 items)

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