Bringing the WebAssembly Standard up to Speed with SpecTec

WebAssembly (Wasm) is a portable low-level bytecode language and virtual machine that has seen increasing use in a variety of ecosystems. Its specification is unusually rigorous – including a full formal semantics for the language – and every new feature must be specified in this formal semantics, i...

Celý popis

Podrobná bibliografie

Vydáno v:	Proceedings of ACM on programming languages Ročník 8; číslo PLDI; s. 1559 - 1584
Hlavní autoři:	Youn, Dongjun, Shin, Wonho, Lee, Jaehyun, Ryu, Sukyoung, Breitner, Joachim, Gardner, Philippa, Lindley, Sam, Pretnar, Matija, Rao, Xiaojia, Watt, Conrad, Rossberg, Andreas
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York, NY, USA ACM 20.06.2024
Témata:	Domain specific languages Program specifications Semantics Software and its engineering Specification languages Syntax Theory of computation executable prose DSL language specification WebAssembly
ISSN:	2475-1421, 2475-1421
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!