RISC RISC Research Institute for Symbolic Computation  
  • @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}