The paper “A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests” by Lena Verscht and Benjamin Kaminski has been accepted for the 52nd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2025) in Denver. The paper provides an overview of program logics, including Hoare […]