Interesting —
"To our knowledge, WebAssembly is the first industrial-strength language or VM that has been designed with a formal semantics from the start."
(From "Bringing the Web Up to Speed with WebAssembly: dl.acm.org/doi/pdf/10.114…)
"To our knowledge, WebAssembly is the first industrial-strength language or VM that has been designed with a formal semantics from the start."
(From "Bringing the Web Up to Speed with WebAssembly: dl.acm.org/doi/pdf/10.114…)
https://twitter.com/dubroy/status/1648623566017921026 ∙ Archived on 2025-03-28.