bddbddb: BDD-Based Deductive Database

  •        0

BDD-Based Deductive Database, an implementation of Datalog that uses Binary Decision Diagrams as the underlying data structure. This allows it to represent exponentially-sized relations efficiently.

http://bddbddb.sourceforge.net

Tags
Implementation
License
Platform

   

comments powered by Disqus


Related Projects

bddshell


bddshell is a command line program for deductive database-based analysis. Its primary focus is software vulnerability detection. It acts as a front-end to a number of other programs, such as bddbddb and joeq.

minijavaparser


Parser of miniJava language and producer of relations to be used for bddbddb analyses. Integrated examples of the context-insensitive and context-sensitive points-to analyses.