PEPM '00: proceedings of the 2000 ACM SIGPLAN workshop on partial evaluation and semantics-based program manipulation : BOSTON, MASSACHUSETTS, JANUARY 22-23, 2000. (ACM,Inc, 2000)