XSB as the Natural Habitat for General Purpose Program Analysis.

Michael Codish, Bart Demoen, Konstantinos Sagonas

Browse the full ICLP paper archive.