start | find | index | login or register | edit | ||
bddbddb
by earl, 6839 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 67 active users
backlinks (more) none, yet recent stores (more) echo earlZstrainYat|tr ZY @. |
|
earl.strain.at • esa3 • online for 8692 days • c'est un vanilla site |