Back to Results
First PageMeta Content
Computing / Boolean algebra / Diagrams / Binary decision diagram / Model checking / Database theory / Datalog / Relational algebra / Prolog / Mathematics / Data management / Relational model


Using Datalog with Binary Decision Diagrams for Program Analysis John Whaley, Dzintars Avots, Michael Carbin, and Monica S. Lam Computer Science Department Stanford University Stanford, CA 94305, USA
Add to Reading List

Document Date: 2007-12-16 03:00:39

Open Document

File Size: 478,00 KB

Share Result on Facebook

/

Facility

Before building / Relation store / /

IndustryTerm

implementations using logic programming systems / web applications / minimal solution / fixpoint solution / allocation site / /

Organization

Stanford University Stanford / /

Person

John Whaley / Monica S. Lam / Michael Carbin / /

Position

H. vP / vP hP / rule vP / vP / vP 2 4 store / vP 0 store load / vP 4 store / vP 6 3 hP hP hP / rule head / Relation vP / head / vP 0 load / RULES vP / t1 t2 t3 t4 vP / /

ProgrammingLanguage

R / C / Prolog / Datalog / Java / /

Technology

2.2 Example Algorithm / caching / Java / relational database / /

SocialTag