One-sorted Program Algebras

Igor Sedlár, Johann J. Wannenburg

Kleene algebra with tests, KAT, provides a simple two-sorted algebraic framework for verifying properties of propositional while programs. Kleene algebra with domain, KAD, is a one…