https://github.com/takikawa/wasm-redex

WebAssembly model in Redex
https://github.com/takikawa/wasm-redex

racket webassembly

Last synced: 5 months ago
JSON representation

WebAssembly model in Redex

• Host: GitHub
• URL: https://github.com/takikawa/wasm-redex
• Owner: takikawa
• License: apache-2.0
• Created: 2019-05-16T16:29:25.000Z (about 7 years ago)
• Default Branch: master
• Last Pushed: 2019-05-16T16:31:27.000Z (about 7 years ago)
• Last Synced: 2025-10-11T02:25:27.584Z (8 months ago)
• Topics: racket, webassembly
• Language: Racket
• Size: 28.3 KB
• Stars: 16
• Watchers: 1
• Forks: 2
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
wasm-redex

----------

This is a (unofficial) Redex model of the WebAssembly formalism from the paper

  ["Bringing the Web up to Speed with WebAssembly"](https://dl.acm.org/citation.cfm?doid=3062341.3062363) by Haas et al.

It aims to model the reduction semantics of wasm but it doesn't quite cover

everything in the paper. It's missing the following at least:

  * module instantiation semantics

  * static type system / validation

and of course likely has various bugs.

See also: the wasm [reference interpreter & spec](https://github.com/WebAssembly/spec).

---

Copyright © 2019 Asumu Takikawa

Licensed under Apache License 2.0, the same as the [reference interpreter & tests](https://github.com/WebAssembly/spec/blob/master/LICENSE).

Attribution: many of the tests are derived from the reference tests.