From Definitional Interpreter to Symbolic Executor

Mensing, Adrian D., Hendrik van Antwerpen, Casper Bach Poulsen, Eelco Visser. From Definitional Interpreter to Symbolic Executor. In Proceedings of the 4th ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection. META 2019, pages 11-20, ACM, New York, NY, USA, 2019. [doi]

Abstract

Abstract is missing.