bddbddb is a BDD-based implementation of Datalog; it is ideal for implementing scalable program analyses.
This entry was posted
on Saturday, December 22nd, 2007 at 10:18 pm and is filed under Analysis frameworks, Java/JVM.
You can follow any responses to this entry through the RSS 2.0 feed.
You can leave a response, or trackback from your own site.