A Aralex Aachen research explorer

January 07, 2016 conference-paper

Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs

ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)

DOI: 10.1145/2837614.2837639 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 5 stored of 76

Reasoning about Parameterized Recursive Quantum Programs with Ancilla Data and Probabilistic Control
2026 ACM Transactions on Computational Logic article Computer Science Logic, programming, and type systems Open access

0

citations
Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back
2025 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

2

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
Foundations of probabilistic programming
2021 RWTH Publications (RWTH Aachen) book Computer Science Logic, programming, and type systems Open access

0

citations
Expected Runtime Analyis by Program Verification
2020 Cambridge University Press eBooks book-chapter Computer Science Logic, programming, and type systems

12

citations

5 results

References 0