Modular Abstract Definitional Interpreters for WebAssembly

Katharina Brandl, Sebastian Erdweg, Sven Keidel, Nils Hansen. Modular Abstract Definitional Interpreters for WebAssembly. In Karim Ali 0001, Guido Salvaneschi, editors, 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States. Volume 263 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]

@inproceedings{BrandlEKH23,
  title = {Modular Abstract Definitional Interpreters for WebAssembly},
  author = {Katharina Brandl and Sebastian Erdweg and Sven Keidel and Nils Hansen},
  year = {2023},
  doi = {10.4230/LIPIcs.ECOOP.2023.5},
  url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.5},
  researchr = {https://researchr.org/publication/BrandlEKH23},
  cites = {0},
  citedby = {0},
  booktitle = {37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States},
  editor = {Karim Ali 0001 and Guido Salvaneschi},
  volume = {263},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
  isbn = {978-3-95977-281-5},
}