Adrian D. Mensing, Hendrik van Antwerpen, Casper Bach Poulsen, Eelco Visser. From definitional interpreter to symbolic executor. In Christophe Scholliers, Guido Chari, editors, Proceedings of the 4th ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection, META@SPLASH 2019, Athens, Greece, October 20, 2019. pages 11-20, ACM, 2019. [doi]