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]

Authors

Mensing, Adrian D.

This author has not been identified. Look up 'Mensing, Adrian D.' in Google

van Antwerpen, Hendrik

Identified as Hendrik van Antwerpen
(Delft University of Technology
)

Bach Poulsen, Casper

Identified as Casper Bach Poulsen
(Delft University of Technology
)

Visser, Eelco

Identified as Eelco Visser
(Delft University of Technology
)