机译:Offline specialisation in Prolog using a hand-written compiler generator
DSSE, Department of Computer Science, University of Southampton, Highfield SO17 1BJ, UK;
partial evaluation; partial deduction; program specialisation; compiler generation; abstract interpretation;