| 
|
QuoteRef: dhurD6_2006
Topic:
heap memory management
Topic:
flavor analysis and typestates for supplementary type checking
Topic:
safe use of pointers
Reference
Dhurjati, D., Kowshik, S., Adve, V., "SAFECode: enforcing alias analysis for weakly typed languages", Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'06), ACM SIGPLAN Notices, 41, 6, June 2006, Ottawa, Ontario, Canada, pp. 144-157. Google
abstract ;;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
145 ;;Quote: detect invalid references by partitioning memory according to its points-to graph; homogeneous pools avoid dangling pointers and run-time checks
Topic: heap memory management (33 items)
Topic: flavor analysis and typestates for supplementary type checking (68 items)
Topic: safe use of pointers (102 items)