h1

h2

h3

h4

h5
h6
TY  - JOUR
AU  - Verscht, Lena
AU  - Kaminski, Benjamin Lucien
TI  - A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests
JO  - Proceedings of the ACM on programming languages/ PACMPL
VL  - 9
IS  - POPL
SN  - 2475-1421
CY  - New York, NY, USA
PB  - ACM
M1  - RWTH-2026-01870
SP  - 1782-1811
PY  - 2025
T2  - 52. ACM SIGPLAN Symposium on Principles of Programming Languages
CY  - 19 Jan 2025 - 25 Jan 2025, Denver (USA)
Y2  - 19 Jan 2025 - 25 Jan 2025
M2  - Denver, USA
LB  - PUB:(DE-HGF)16
DO  - DOI:10.1145/3704896
UR  - https://publications.rwth-aachen.de/record/1028795
ER  -