prindi

Operational semantics with semicommutations

autor
Maarand, Hendrik
Uustalu, Tarmo
vastutusandmed
Hendrik Maarand and Tarmo Uustalu
allikas
31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts
ilmumiskoht
Tallinn
kirjastus/väljaandja
Department of Software Science, Tallinn University of Technology
ilmumisaasta
2019
leheküljed
p. 40-43
konverentsi nimetus, aeg
31st Nordic Workshop on Programming Theory, NWPT 2019, 13–15 November 2019
konverentsi toimumispaik
Tallinn, Estonia
leitav
https://doi.org/10.23658/taltech.nwpt/2019
https://cs.ttu.ee/events/nwpt2019/abstracts/paper24.pdf
märksõna
programmeerimine
semantika
matemaatiline loogika
ISBN
978-9949-83-520-1
märkused
Bibliogr.: 3 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Maarand, H., Uustalu, T. Operational semantics with semicommutations // 31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts. Tallinn : Department of Software Science, Tallinn University of Technology, 2019. p. 40-43. https://doi.org/10.23658/taltech.nwpt/2019 https://cs.ttu.ee/events/nwpt2019/abstracts/paper24.pdf