Showing cs.PLShow all
2 papers · 1 filter
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…