Modular Abstract Definitional Interpreters for WebAssembly.

Katharina Brandl, Sebastian Erdweg, Sven Keidel, Nils Hansen

Browse the full ECOOP paper archive.