prindi

A type system with subtyping for Webassembly’s stack polymorphism

autor
McDermott, Dylan
Morita, Yasuaki
Uustalu, Tarmo
vastutusandmed
Dylan McDermott, Yasuaki Morita, Tarmo Uustalu
allikas
Theoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-30, 2022 : proceedings
ilmumiskoht
Cham
kirjastus/väljaandja
Springer Nature
ilmumisaasta
2022
leheküljed
p. 305-323
seeria-sari
Lecture notes in computer science ; 13572
konverentsi nimetus, aeg
ICTAC 2022 : Theoretical Aspects of Computing : 19th International Colloquium, September 27-30, 2022
konverentsi toimumispaik
Tbilisi, Georgia
leitav
https://doi.org/10.1007/978-3-031-17715-6_20
märksõna
semantika
programmeerimiskeeled
Scopus
Conference proceedings at Scopus
Article at Scopus
kvartiil
Q3
kategooria (üld)
Arvutiteadus
Matemaatika
kategooria (alam)
Arvutiteadus. Üldine arvutiteadus
Matemaatika. Teoreetiline arvutiteadus
võtmesõna
WebAssembly
ISSN
0302-9743
ISBN
978-3-031-17714-9
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Tugevalt tagatud tarkvara laboratoorium
McDermott, D., Morita, Y., Uustalu, T. A type system with subtyping for Webassembly’s stack polymorphism // Theoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-30, 2022 : proceedings. Cham : Springer Nature, 2022. p. 305-323. (Lecture notes in computer science ; 13572). https://doi.org/10.1007/978-3-031-17715-6_20