Map
Index
Random
Help
th

Quote: avoid memory errors by partitioning memory into pools according to the points-to graph; allows aggressive interprocedural pointer analysis; only 10% overhead due to static checking

QuoteRef: dhurD6_2006 , p. abstract



Topic:
heap memory management
Topic:
flavor analysis and typestates for supplementary type checking

Quotation Skeleton

We describe a compilation strategy for standard C … type information for a subset of memory, are … The key insight behind our approach is that … memory partitioning in a points-to graph, and efficient … enables static checking techniques that eliminate many run-time … not use meta-data on pointers or individual tag … are low (less than 10% in nearly all … [p. 145] the pointer analysis [is required to be] flow-insensitive and unification-based. …   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Topic: heap memory management (33 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.