Showing cs.LOShow all
2 papers · 1 filter
cs.LO2023
Kleene Algebra With Tests for Weighted Programs
Igor Sedlár
Weighted programs generalize probabilistic programs and offer a framework for specifying and encoding mathematical models by means of an algorithmic representation. Kleene algebra…
cs.LO2022
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…