| 
|
Quote: use binary decision diagrams (BDD) for subset-based points-to analysis; BDDs from model checking; simple, less space, scales well
topics >
all references >
references a-b >
Topic:
model checker
Topic:
safe use of pointers
Topic:
logic programming
Quotation Skeleton
This paper reports on a new approach to … community, BDDs have been shown very effective for … be very effective for developing a points-to-analysis that … The paper first introduces BDDs and operations on … using BDDs and BDD operations. … [p. 110] For small problem sets, we find that … SPARK when solving 'jedit', our largest benchmark. Further, … not only is the absolute space used much … well as the number of constraints increases. … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: model checker (49 items)
Topic: safe use of pointers (102 items)
Topic: logic programming (34 items)