Partial evaluation and the generation of program generators

Partial evaluation has been the subject of rapidly increasing activity over the past decade since it provides a unifying paradigm for a broad spectrum of work in program opti-mization, compiling, interpretation and the generation of automatic program generators [7,14,25]