From definitional interpreter to symbolic executor - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Adrian D. Mensing' in GoogleIdentified as Hendrik van Antwerpen Identified as Casper Bach Poulsen Identified as Eelco Visser

runs on WebDSL