atgeller/Wasm-prechk: PLDI SRC Model
| Main Author: | Adam T. Geller |
|---|---|
| Format: | info software |
| Terbitan: |
, 2020
|
| Online Access: |
https://zenodo.org/record/3710497 |
Daftar Isi:
- This is an initial model of the Wasm-prechk type system. It supports most of WebAssembly except for floating point numbers and certain bit operations. Module typing is also currently in progress and not included in this release. Examples of the type system in use can be found in IndexTypeTests.rkt, and the type rules can be found in IndexTypingRules.rkt.