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]

@inproceedings{MensingBAV19,
  title = {From Definitional Interpreter to Symbolic Executor},
  author = {Mensing, Adrian D. and Hendrik van Antwerpen and Casper Bach Poulsen and Eelco Visser},
  year = {2019},
  doi = {http://doi.acm.org/10.1145/3358502.3361269},
  researchr = {https://researchr.org/publication/MensingBAV19},
  cites = {0},
  citedby = {0},
  pages = {11-20},
  booktitle = {Proceedings of the 4th ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection},
  series = {META 2019},
  address = {New York, NY, USA},
  publisher = {ACM},
  isbn = {978-1-4503-6985-5},
}