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]

Abstract

Abstract is missing.