Toward abstract interpretation of program transformations

Sven Keidel, Sebastian Erdweg. Toward abstract interpretation of program transformations. In Shigeru Chiba, Elisa Gonzalez Boix, Stefan Marr, editors, Proceedings of the 2nd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection, META@SPLASH 2017, Vancouver, BC, Canada, October 23 - 27, 2017. pages 1-5, ACM, 2017. [doi]

Abstract

Abstract is missing.