Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation