Incremental Global Compilation of Prolog with the Vienna Abstract Machine.

Andreas Krall, Thomas Berger

Browse the full ICLP paper archive.