wadec 0.0.1

A library for decoding WebAssembly modules.
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
* [Bringing the Web up to Speed with WebAssembly]pldi2017.pdf

  Andreas Haas, Andreas Rossberg, Derek Schuff, Ben Titzer, Dan Gohman, Luke Wagner, Alon Zakai, JF Bastien, Michael Holman

  ACM-SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2017)

  *Describes the WebAssembly design, its formalisation, and initial implementations.*

* [Weakening WebAssembly]oopsla2019.pdf

  Conrad Watt, Andreas Rossberg, Jean Pichon-Pharabod

  ACM-SIGPLAN Conference on Object-Oriented Programming, Systems, Language and Architectures (OOSPLA 2019)

  *Describes and formalises the extension of WebAssembly with threads and a suitable memory model.*