Login
From:
weaselhat
(Uncensored)
subscribe
How to cook a KAT for your pet theory
http://www.weaselhat.com/2022/05/13/how-to-cook-a-kat-for-your-pet-theory/
links
backlinks
Tagged with:
software
papers
networking
programming languages
Roast topics
Find topics
Find it!
Kleene algebra with tests is a beautiful, powerful framework for reasoning about programs. But creating new concrete KATs is hard. Our PLDI 2022 paper offers a theoretical framework for deriving concrete KATs, along with an OCaml implementation.
