Email Gateway (Aug 22 2022 at 17:10): Email Gateway (Aug 22 2022 at 17:10):From: Tobias Nipkow <nipkow@in.tum.de>
Conrad Watt is bringing you the language that will revolutionize the Web:
WebAssembly
Conrad Watt
This is a mechanised specification of the WebAssembly language, drawn mainly
from the previously published paper formalisation of Haas et al. Also included
is a full proof of soundness of the type system, together with a verified type
checker and interpreter. We include only a partial procedure for the extraction
of the type checker and interpreter here. For more details, please see our paper
in CPP 2018.
https://www.isa-afp.org/entries/WebAssembly.html
Enjoy!
smime.p7s
Last updated: Nov 21 2024 at 12:39 UTC