http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png
A Calculus for Amortized Expected Runtimes
Batz, Kevin (Corresponding author)RWTH* ; Kaminski, Benjamin Lucien (Corresponding author) ; Katoen, Joost-Pieter (Corresponding author)RWTH* ; Matheja, Christoph (Corresponding author) ; Verscht, Lena (Corresponding author)RWTH*
In
Proceedings of the ACM on programming languages : (PACMPL) 7(POPL), Seiten/Artikel-Nr.:67
2023
Konferenz/Event:Principles of Programming Languages
, Boston, MA , USA , POPL 2023 , 2023-01-15 - 2023-01-21
ImpressumNew York, NY, USA : ACM
Umfang1957-1986
ISSN2475-1421
Online
DOI: 10.18154/RWTH-2023-01175
DOI: 10.1145/3571260
10.1145/3571260
URL: https://publications.rwth-aachen.de/record/889639/files/889639.pdf
Einrichtungen
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
- Fachgruppe Informatik (120000)
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-85143575762
WOS Core Collection: WOS:000910847500067
OpenAlex: W4315606091
Interne Identnummern
RWTH-2023-01175
Datensatz-ID: 889639
Beteiligte Länder
Denmark, Germany, UK
Lizenzstatus der Zeitschrift


;

;

;

; Clarivate Analytics Master Journal List ; Clarivate Analytics Master Journal List ; Emerging Sources Citation Index ; Emerging Sources Citation Index ; SCOPUS ; SCOPUS ; Web of Science Core Collection ; Web of Science Core Collection