h1

% IMPORTANT: The following is UTF-8 encoded.  This means that in the presence
% of non-ASCII characters, it will not work with BibTeX 0.99 or older.
% Instead, you should use an up-to-date BibTeX implementation like “bibtex8” or
% “biber”.

@ARTICLE{Verscht:1028795,
      author       = {Verscht, Lena and Kaminski, Benjamin Lucien},
      title        = {{A} {T}axonomy of {H}oare-{L}ike {L}ogics: {T}owards a
                      {H}olistic {V}iew using {P}redicate {T}ransformers and
                      {K}leene {A}lgebras with {T}op and {T}ests},
      journal      = {Proceedings of the ACM on programming languages/ PACMPL},
      volume       = {9},
      number       = {POPL},
      issn         = {2475-1421},
      address      = {New York, NY, USA},
      publisher    = {ACM},
      reportid     = {RWTH-2026-01870},
      pages        = {1782-1811},
      year         = {2025},
      month         = {Jan},
      date          = {2025-01-19},
      organization  = {52. ACM SIGPLAN Symposium on
                       Principles of Programming Languages,
                       Denver (USA), 19 Jan 2025 - 25 Jan
                       2025},
      cin          = {121310},
      ddc          = {004},
      cid          = {$I:(DE-82)121310_20140620$},
      typ          = {PUB:(DE-HGF)16},
      doi          = {10.1145/3704896},
      url          = {https://publications.rwth-aachen.de/record/1028795},
}