A framework for modelling, verification and transformation of concurrent imperative programs
autor
Bortin, Maksym
vastutusandmed
Maksym Bortin
allikas
arXiv.org
ajakirja aastakäik number kuu
arXiv:2007.02261
ilmumisaasta
2020
leheküljed
57 p
leitav
https://arxiv.org/abs/2007.02261
https://doi.org/10.48550/arXiv.2007.02261
märksõna
loogika
konkurents (majandus)
semantika
tarkvara
funktsionaalprogrammeerimine
loogiline programmeerimine
verifikatsioon
võtmesõna
logic in computer science
concurrency
semantics of programming languages
program verification
program transformation
rely/guarantee
liveness
ISSN
2331-8422
märkused
Bibliogr. p. 56-57
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise