Lower Bounds for Possibly Divergent Probabilistic Programs

Feng, Shenghua; Chen, Mingshuai (Corresponding author); Su, Han; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Zhan, Naijun

New York, NY, USA : ACM (2023)
Fachzeitschriftenartikel

In: Proceedings of the ACM on programming languages
Band: 7
Heft: OOPSLA1
Seite(n)/Artikel-Nr.: 99

Einrichtungen

• Fachgruppe Informatik [120000]
• Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) [121310]