Th QuoteRef: bernM6

QuoteRef: bernM6_2003

topics > all references > ThesaHelp: references a-b

ThesaHelp:
ACM references a-e
ThesaHelp:
references a-b
Topic:
model checker
Topic:
safe use of pointers
Topic:
logic programming

Reference

Berndl, M., Lhotak, O., Qian, F., Hendren , L., Umaneee, N., "Pointers-to analysis using BDDs", Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation (PLDI'03), San Diego, California USA, June 2003, ACM SIGPLAN, pp. 103-114. Google

Quotations

abstract ;;Quote: use binary decision diagrams (BDD) for subset-based points-to analysis; BDDs from model checking; simple, less space, scales well

Related Topics

ThesaHelp: ACM references a-e (259 items)
ThesaHelp: references a-b (396 items)
Topic: model checker (49 items)
Topic: safe use of pointers (102 items)
Topic: logic programming (34 items)