Program Algebras with Monotone Floyd-Hoare Composition

@inproceedings{Kryvolap2013ProgramAW,
  title={Program Algebras with Monotone Floyd-Hoare Composition},
  author={Andrii Kryvolap and Mykola Nikitchenko and Wolfgang Schreiner},
  booktitle={ICTERI},
  year={2013}
}
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