A Unified Framework for Quantitative Analysis of Probabilistic Programs

Lecture notes in computer science

DOI: 10.1007/978-3-031-75783-9_10 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 0 stored of 2

References 8

Foundations of Probabilistic Programming
2020 Cambridge University Press eBooks book Computer Science Logic, programming, and type systems Open access

63

citations
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants
2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

33

citations
Automated Termination Analysis of Polynomial Probabilistic Programs
2021 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

31

citations
Weighted programming: a programming paradigm for specifying mathematical models
2022 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

18

citations
The Probabilistic Termination Tool Amber
2021 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

15

citations
Does a Program Yield the Right Distribution?
2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

14

citations
Lower Bounds for Possibly Divergent Probabilistic Programs
2023 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

14

citations
Generating Functions for Probabilistic Programs
2021 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

9

citations

8 results