Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation