| 
|
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
topics >
all references >
references t-z >
Topic:
safe use of pointers
Topic:
logic programming
Quotation Skeleton
This paper shows that pointer analysis, and many … We have developed a system called bddbddb that … variety of context-sensitive algorithms including side effect analysis, … [p. 133] Our bddbddb system accepts a subclass of … [ref], for which minimal solutions always exist. Informally, rules in such … in sequence. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: safe use of pointers (102 items)
Topic: logic programming (34 items)