Useful links
Logic Programming
ALP, The Association of Logic Programming
Program Analysis
BUGSENG
The Parma Polyhedra Library
The China Project
Home Page
Home Page for Patricia M. Hill