Martin Berger. Specification and verification of meta-programs. In Oleg Kiselyov, Simon Thompson, editors, Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, PEPM 2012, Philadelphia, Pennsylvania, USA, January 23-24, 2012. pages 3-4, ACM, 2012. [doi]
Abstract is missing.