All Projects → takenobu-hs → WebAssembly-illustrated

takenobu-hs / WebAssembly-illustrated

Licence: BSD-3-Clause license
WebAssembly (Wasm) illustrated

Projects that are alternatives of or similar to WebAssembly-illustrated

Krivine-Machine
Abstract krivine machine implementing call-by-name semantics. In OCaml.
Stars: ✭ 34 (-51.43%)
Mutual labels:  abstract-machine

WebAssembly (Wasm) illustrated

This is an illustrated document about the WebAssembly (Abstract machine).

Here is: WebAssembly (Wasm) illustrated (PDF).

Contents

1 Introduction

  • Overview

2 WebAssembly abstract machine

  • Abstract machine
  • Store
  • Stack
  • Computational model
  • Type
  • Trap
  • Thread
  • External interface

3 WebAssembly module

  • Module
  • Binary encoding

4 WebAssembly instructions

  • Instructions
  • Simple instructions
  • Control instructions
  • Byte order

Appendix A : Semantics

Appendix B : Implementation

  • Implementations
  • CLI development utilities
  • Test suites
  • Desugar examples

Appendix C : Future

References

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].