Opin vísindi
Fletta eftir titli tímarits "Theoretical Aspects of Computing – ICTAC 2022: 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings"
- Opin vísindi
- →
- Fletta eftir titli tímarits
JavaScript is disabled for your browser. Some features of this site may not work without it.
Fletta eftir titli tímarits "Theoretical Aspects of Computing – ICTAC 2022: 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings"
Atriði 1-1 af 1
-
(Springer, 2022-10-03)We propose a new type system for WebAssembly. It is a refinement of the type system from the language specification and is based on type qualifiers and subtyping. In the WebAssembly specification, a typable instruction sequence gets many different ...
Atriði 1-1 af 1