print

A framework for modelling, verification and transformation of concurrent imperative programs

author
Bortin, Maksym
statement of authorship
Maksym Bortin
source
arXiv.org
journal volume number month
arXiv:2007.02261
year of publication
2020
pages
57 p
url
https://arxiv.org/abs/2007.02261
https://doi.org/10.48550/arXiv.2007.02261
subject term
loogika
konkurents (majandus)
semantika
tarkvara
funktsionaalprogrammeerimine
loogiline programmeerimine
verifikatsioon
keyword
logic in computer science
concurrency
semantics of programming languages
program verification
program transformation
rely/guarantee
liveness
ISSN
2331-8422
notes
Bibliogr. p. 56-57
Open Access
Open Access
scientific publication
teaduspublikatsioon
TTÜ department
tarkvarateaduse instituut
language
inglise
Bortin, M. A framework for modelling, verification and transformation of concurrent imperative programs // arXiv.org (2020) arXiv:2007.02261, 57 p. https://arxiv.org/abs/2007.02261 https://doi.org/10.48550/arXiv.2007.02261