| 
|
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
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.
Topic: heap memory management (33 items)
Topic: flavor analysis and typestates for supplementary type checking (68 items)