DagRep.13.3.1.pdf
- Filesize: 2.34 MB
- 16 pages
Document
Foundations of WebAssembly (Dagstuhl Seminar 23101)
Authors and all authors of the abstracts in this report
-
Part of:
Issue:
Dagstuhl Reports, Volume 13, Issue 3
Volume: Dagstuhl Reports, Volume 13
Journal: Dagstuhl Reports (DagRep) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2023-10-16
Cite As Get BibTex
Karthikeyan Bhargavan, Jonathan Protzenko, Andreas Rossberg, and Deian Stefan. Foundations of WebAssembly (Dagstuhl Seminar 23101). In Dagstuhl Reports, Volume 13, Issue 3, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
https://doi.org/10.4230/DagRep.13.3.1
Abstract
WebAssembly (Wasm) is a new portable code format with a formal semantics whose popularity has been growing fast, as a platform for new application domains, as a target for compilers and languages, and as a subject of research into its semantics, its performance, and its use in building verified and secure systems. This Dagstuhl Seminar brought together leading academics and industry representatives currently involved in the design, implementation and formal study of Wasm, to exchange ideas around topics such as formal methods for, verified compilation to, and verified implementation of Wasm.
Subject Classification
ACM Subject Classification
- Software and its engineering → Formal language definitions
- Software and its engineering → Virtual machines
- Theory of computation → Semantics and reasoning
Keywords
- Compilation
- Formal methods
- Programming languages
- Verification
- Virtual machines
- WebAssembly
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads