@inproceedings{RISC4735,author = {Andrii Kryvolap and Mykola Nikitchenko and Wolfgang Schreiner},
title = {{Program Algebras with Monotone Floyd-Hoare Composition}},
booktitle = {{ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer 2013}},
language = {english},
abstract = {In the paper special program algebras of partial predicates and functions
are described. Such algebras form a semantic component of a modified
Floyd-Hoare logic constructed on the base of a composition-nominative approach.
According to this approach, Floyd-Hoare assertions are presented with
the help of a special composition called Floyd-Hoare composition. Monotonicity
and continuity of this composition are proved. The language of the modified
Floyd-Hoare logic is described. Further, the inference rules for such logic are
studied, their soundness conditions are specified. The logic constructed can be
used for program verification.
Keywords. Program algebra, program logic, composition-nominative},
series = {CEUR-WS.org CEUR Workshop Proceedings},
volume = {1000},
pages = {533--549},
publisher = {CEUR-WS.org},
isbn_issn = {ISSN 1613-0073},
year = {2013},
month = {June 19-22},
editor = {Vadim Ermolayev and Heinrich C. Mayr and Mykola Nikitchenko and Aleksander Spivakovsky and Grygoriy Zholtkevych and Mikhail Zavileysky and Hennadiy Kravtsov and Vitaliy Kobets and Vladimir Peschanenko},
refereed = {yes},
length = {17},
conferencename = {ICTERI 2013: 9th International Conference, Kherson, Ukraine}
}