Author: Symposium on Partial Evaluation and Semantics-Based Program Manipulation (2002 Aizu, Japan)