This is a model of (simplified) WebAssembly written in PLT Redex. The original, complete syntax and semantics of WebAssembly can be found in the 2017 paper by Haas et al and online. This project implements a slightly friendlier specification taken from Stanford's CS242 course. This covers core components like memory, control flow, and the call stack, but excludes some of the more tedious complexity of floating point, different integer types, and memory alignment.
-
Notifications
You must be signed in to change notification settings - Fork 0
icemoon97/web-assembly-redex
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
A simplified model of WebAssembly written in PLT Redex
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published