| 
|
Quote: store points-to information as binary decision diagrams in bddbddb; from Whaley and Lam's pointer alias analysis; query with Datalog
Topic:
safe use of pointers
Topic:
logic programming
Quotation Skeleton
Our checkers [for PQL] use pointer information from a … [SIGPLAN PLDI, June 2004, whalJ6_2004]. The points-to information is stored in a deductive database called … with queries written in the logic programming language … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: safe use of pointers (102 items)
Topic: logic programming (34 items)