A Calculus for Amortized Expected Runtimes

Batz, Kevin; Matheja, Christoph; Kaminski, Benjamin Lucien; Verscht, Lena; Katoen, Joost-Pieter

doi:openalex:W4315606091

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

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

;

Creative Commons Attribution-ShareAlike CC BY-SA 4.0

;

; 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