h1

h2

h3

h4

h5
h6
%0 Journal Article
%A Verscht, Lena
%A Kaminski, Benjamin Lucien
%T A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests
%J Proceedings of the ACM on programming languages/ PACMPL
%V 9
%N POPL
%@ 2475-1421
%C New York, NY, USA
%I ACM
%M RWTH-2026-01870
%P 1782-1811
%D 2025
%B 52. ACM SIGPLAN Symposium on Principles of Programming Languages
%C 19 Jan 2025 - 25 Jan 2025, Denver (USA)
Y2 19 Jan 2025 - 25 Jan 2025
M2 Denver, USA
%F PUB:(DE-HGF)16
%9 Journal Article
%R 10.1145/3704896
%U https://publications.rwth-aachen.de/record/1028795