Software Engineering Daily cover image

WebAssembly 3.0 with Andreas Rossberg

Software Engineering Daily

00:00

Formal specification and verified semantics

Andreas highlights machine-verified formal semantics for WebAssembly, enabling stronger verification across the toolchain.

Play episode from 01:00:12
Transcript

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app