WebAssembly

swMATH40303MaRDI QIDQ56003FDOQ56003

Author name not available (Why is that?)

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