| |
 |      |
                                               |
Note: Links lead to the DBLP on the Web. Michael Carbin John Whaley , Dzintars Avots , Michael Carbin, Monica S. Lam : Using Datalog with Binary Decision Diagrams for Program Analysis. APLAS 2005 : 97-118 Monica S. Lam , John Whaley , V. Benjamin Livshits , Michael C. Martin , Dzintars Avots , Michael Carbin, Christopher Unkel : Context-sensitive program analysis as database queries. PODS 2005 : 1-12 1 [ 1 ] [ 2 ] 2 [ 1 ] [ 2 ] 3 [ 1 ] 4 [ 1 ] 5 [ 1 ] 6 [ 1 ] [ 2 ]  ©2006 Association for Computing Machinery |
