Map
Index
Random
Help
th

Quote: use static, region analysis to prevent dereference of a non-live region; e.g., a block's local variables

topics > all references > references i-l > QuoteRef: jimT6_2002 , p. 279



Topic:
safe use of pointers
Topic:
memory management by regions or memory pool
Topic:
flavor analysis and typestates for supplementary type checking

Quotation Skeleton

Cyclone prevents the dereference of dangling pointers by … deallocated all at once. For example, Cyclone considers … deallocated on exit from the block. Cyclone's static … at any point in the program. Any dereference … We rely on programmer annotations to track regions …   Google-1   Google-2

Copyright clearance needed for quotation.

Additional Titles

Quote: use annotations to track memory regions across function calls

Related Topics up

Topic: safe use of pointers (102 items)
Topic: memory management by regions or memory pool (17 items)
Topic: flavor analysis and typestates for supplementary type checking (68 items)

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