ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (2000 Boston, Mass.)