Tutorial on Online Partial Evaluation 英文论文文献.docVIP

TutorialonOnlinePartialEvaluation WilliamR.Cook DepartmentofComputerScience,UniversityofTexasatAustin,USA RalfL?mmel DepartmentofComputerScience,UniversityofKoblenz-Landau,Germany This paper is a short tutorial introduction to online partial evaluation. We show how to write a simpleonlinepartialevaluatorforasimple,pure,?rst-order,functionalprogramminglanguage. In particular, we show that the partial evaluator can be derived as a variation on a compositionally de?nedinterpreter.Wedemonstratetheuseoftheresultingpartialevaluatorforprogramoptimization inthecontextofmodel-drivendevelopment.