Hi, I found this article on using Datalog for implementing program analysis algorithms:
http://people.csail.mit.edu/mcarbin/papers/aplas05.pdf Here is a quick blog intro: http://blog.robjsoftware.org/2007/10/bddbddb-pointer-alias-analysis-comes-of.html I don't know if this fits into the Cython project at all. The tool they are using, bddbddb, is written in Java, for example, and it currently only works on Java and C. http://bddbddb.sourceforge.net/ I just found it a good idea to use binary decision diagrams together with Datalog for this, and I think it's something to keep in mind for the GSoC project. It reads very sound and efficient. BTW, another thing probably worth keeping in mind is PyPy. Stefan _______________________________________________ Cython-dev mailing list [email protected] http://codespeak.net/mailman/listinfo/cython-dev
