a public good project by the
Synthesis
Company
of California

© 2026

Using Datalog with Binary Decision Diagrams for Program Analysis | doi.page

0 citations0 references

Google Scholar doi.org

Using Datalog with Binary Decision Diagrams for Program Analysis

Lecture notes in computer science·2005·pp. 97–118

Citations Over TimeTop 10% of 2005 papers

John Whaley, Dzintars Avots, Michael Carbin, Monica S. Lam

Related Papers

→ Extending Datalog with Declarative Updates(2000)4 cited
Extending Datalog with Deductive Databases(2000)
→ What Have We Learnt from Deductive Object-Oriented Database Research?(2011)
Extending Datalog with Declarative Updates(1998)
→ Deductive Databases(1999)