Two Mechanisations of WebAssembly 1.0
Conrad Watt, Xiaojia Rao, Jean Pichon-Pharabod, Martin Bodin, Philippa Gardner
Topics & Concepts
Programming languageHOLComputer scienceSoundnessExecutableInterpreterFormal semantics (linguistics)Semantics (computer science)Security and Verification in ComputingLogic, programming, and type systemsSoftware Testing and Debugging Techniques