bddbddb
by earl, 6809 days ago
"BDD-based deductive database""An implementation of Datalog that represents the relations using binary decision diagrams (BDDs)."
People: John Whaley
- http://bddbddb.sourceforge.net/
Lam, S. M., Whaley, J., Livshits, B., Martin, M., Avots, D., Carbin, M. & Unkel, C. (2005), Context Sensitive Program Analysis as Database Queries. In Proceedings of Principles of Database Systems (PODS), Baltimore, Maryland.
search
43 active users
- unknown (43)
backlinks (more)
none, yet
recent stores (more)
echo earlZstrainYat|tr ZY @.
