A Prolog Meta-Interpreter for Partial Evaluation and its Application to Source to Source Transformation and Query-Optimisation.

Raf Venken

Browse the full ECAI paper archive.