John Gallagher works in program analysis and transformation of logic programs

*Homepage:* http://www.cs.bris.ac.uk/~john/
------
CategoryPeople