Program Algebras with Monotone Floyd-Hoare Composition

  title={Program Algebras with Monotone Floyd-Hoare Composition},
  author={Andrii Kryvolap and Mykola Nikitchenko and Wolfgang Schreiner},
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… CONTINUE READING