Combining Program and Data Specialization Sandrine ChirokoffCharles ConselRenaud Marlet OriginalPaper Pages: 309 - 335
Certifying Compilation and Run-Time Code Generation Luke HornofTrevor Jim OriginalPaper Pages: 337 - 375
Partial Evaluation of Computation Process, Revisited Yoshihiko Futamura OriginalPaper Pages: 377 - 380
Partial Evaluation of Computation Process--An Approach to a Compiler-Compiler Yoshihiko Futamura OriginalPaper Pages: 381 - 391