Kleene algebra modulo theories: a framework for concrete KATs

Michael Greenberg 0002, Ryan Beckett, Eric Hayden Campbell. Kleene algebra modulo theories: a framework for concrete KATs. In Ranjit Jhala, Isil Dillig, editors, PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13 - 17, 2022. pages 594-608, ACM, 2022. [doi]

Abstract

Abstract is missing.