Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques.

Michael Leuschel, Stephen-John Craig, Daniel Elphick

Browse the full LOPSTR paper archive.