A Aralex Aachen research explorer

June 07, 2019 conference-paper Open access

Cost analysis of nondeterministic probabilistic programs

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation

DOI: 10.1145/3314221.3314581 Full text (OA) OpenAlex

Authors 0

Author list not loaded yet.

Cited by 4 stored of 55

Highly Incremental: A Simple Programmatic Approach for Many Objectives
2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

1

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
Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes
2021 other Computer Science Logic, programming, and type systems

2

citations
Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes
2021 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

20

citations

4 results

References 0