WRSWorld Research StateContribute
WORLD RESEARCH STATE

Haas and colleagues: WebAssembly design and formal semantics

Contribution grade

Programming languages · Language and virtual-machine design

Reference score235,000Provisional editorial estimate of this exact contribution; its grade is assessed separately.

What changed

A shared portable low-level target for web execution received a rigorous design and semantics.

Scientific scope

Nine-author PLDI 2017 paper; standard process, later extensions and engine implementations excluded.

Evidence

The linked sources identify this contribution and its scope. WRS has not independently reconstructed the scientific claims. The record is the exact 2017 PLDI paper. The evolving WebAssembly standard, individual engines, post-MVP features, browser deployment and the wider open-source contributor community remain separate.

Contributors

Provisional WRS assessment, edition 2026-10-16.1. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.

Full scientific record · Browse contribution grades · Request a correction