Showing cs.PLShow all
3 papers · 1 filter
cs.PL2026
Partial Reductions for Kleene Algebra with Linear Hypotheses
Liam Chung, Tobias Kappé
Kleene algebra (KA) is an important tool for reasoning about general program equivalences, with a decidable and complete equational theory. However, KA cannot always prove equivale…
cs.PL2025
Kleene Algebra
Tobias Kappé, Alexandra Silva, Jana Wagemaker
This booklet serves as an introduction to Kleene Algebra (KA), a set of laws that can be used to study general equivalences between programs. It discusses how general programs can…
cs.PL2025
On Propositional Program Equivalence (extended abstract)
Tobias Kappé
General program equivalence is undecidable. However, if we abstract away the semantics of statements, then this problem becomes not just decidable, but practically feasible. For in…