ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (2004 Verona, Italy)