A framework for modelling, verification and transformation of concurrent imperative programs
autor
vastutusandmed
Maksym Bortin
allikas
ajakirja aastakäik number kuu
arXiv:2007.02261
ilmumisaasta
leheküljed
57 p
ISSN
2331-8422
märkused
Bibliogr. p. 56-57
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
keel
inglise
märksõna
võtmesõna
semantics of programming languages
program verification
program transformation
rely/guarantee
liveness
TTÜ struktuuriüksus
Bortin, M. A framework for modelling, verification and transformation of concurrent imperative programs // arXiv.org (2020) arXiv:2007.02261, 57 p.