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]
@inproceedings{MensingAPV19,
title = {From definitional interpreter to symbolic executor},
author = {Adrian D. Mensing and Hendrik van Antwerpen and Casper Bach Poulsen and Eelco Visser},
year = {2019},
doi = {10.1145/3358502.3361269},
url = {https://doi.org/10.1145/3358502.3361269},
researchr = {https://researchr.org/publication/MensingAPV19},
cites = {0},
citedby = {0},
pages = {11-20},
booktitle = {Proceedings of the 4th ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection, META@SPLASH 2019, Athens, Greece, October 20, 2019},
editor = {Christophe Scholliers and Guido Chari},
publisher = {ACM},
isbn = {978-1-4503-6985-5},
}