guest ::
A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests
;
In
Proceedings of the ACM on programming languages/ PACMPL 9(POPL), Seiten/Artikel-Nr.:1782-1811
2025
Online
DOI: 10.1145/3704896
DOI: 10.18154/RWTH-2026-01870
URL: http://publications.rwth-aachen.de/record/1028795/files/1028795.pdf
Einrichtungen
Thematische Einordnung (Klassifikation)
DDC: 004
OpenAccess: 
PDF
Dokumenttyp
Journal Article
Format
online
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85216086254
Interne Identnummern
RWTH-2026-01870
Datensatz-ID: 1028795
Beteiligte Länder
Germany, UK
; 
; 
; Clarivate Analytics Master Journal List ; Emerging Sources Citation Index ; IF < 5 ; JCR ; SCOPUS ; Web of Science Core Collection
|
The record appears in these collections: |
PDF