LIX: an Effective Self-applicable Partial Evaluator for Prolog.

Stephen-John Craig, Michael Leuschel

Browse the full FLOPS paper archive.