PEPM '04: Partial Evaluation and Program Manipulation 2004