| 
|
QuoteRef: whalJ6_2004
topics >
all references >
ThesaHelp:
ACM references m-z
Topic:
code optimization by flow analysis
Topic:
aliasing
Topic:
context
Topic:
safe use of pointers
Topic:
logic programming
Reference
Whaley, J., Lam, M.S., "Cloning-based context-sensitive pointer alias analysis using binary decision diagrams", Proceedings of the 2004 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'04), Washington, DC, USA, June 2004, ACM SIGPLAN, pp. 131-144. Google
abstract ;;Quote: efficient, context-sensitive pointer alias analysis using a context-insensitive algorithm; clone all methods in a call graph, one per context of interest
abstract+;;Quote: clone by context for efficient type inference, thread escape analysis, points-to analysis, and pointer alias analysis
abstract ;;Quote: bddbddb generates efficient, binary decision diagrams for stratified Datalog programs; e.g., context-sensitive pointer analysis, side effect analysis, type analysis, and escape analysis
ThesaHelp: ACM references m-z (280 items)
Topic: code optimization by flow analysis (47 items)
Topic: aliasing (28 items)
Topic: context (8 items)
Topic: safe use of pointers (102 items)
Topic: logic programming (34 items)