WebAssembly

MaRDI QIDQ56003swMATHFDO

Official website https://webassembly.org

Source code repository https://github.com/nokia/web-assembly-self-certifying-compilation-framework

Described by source

• A self-certifying compilation framework for WebAssembly

Cited in

(7)

• CVT
• SymDiff
• CoVaC
• REFINER
• RVT
• Crellvm
• Loopy

This page was built for software: WebAssembly