Weakest Precondition Reasoning for Expected Run–Times of Probabilistic Programs (Q2802489): Difference between revisions

@@ Property / cites work @@
+A general framework for sound and complete Floyd-Hoare logics
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Based Program Synthesis and Transformation
@@ Property / cites work: Logic Based Program Synthesis and Transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Runtime analysis of probabilistic programs with unbounded recursion
+Normal rank
@@ Property / cites work @@
+FM 2005: Formal Methods
@@ Property / cites work: FM 2005: Formal Methods / rank @@
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Termination
@@ Property / cites work: Probabilistic Termination / rank @@
+Normal rank
@@ Property / cites work @@
+Formalization of time and space
@@ Property / cites work: Formalization of time and space / rank @@
+Normal rank
@@ Property / cites work @@
+A probability perspective
@@ Property / cites work: A probability perspective / rank @@
+Normal rank
@@ Property / cites work @@
+Automating program analysis
@@ Property / cites work: Automating program analysis / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484343
@@ Property / cites work: Q4484343 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Hardness of Almost–Sure Termination
@@ Property / cites work: On the Hardness of Almost–Sure Termination / rank @@
+Normal rank
@@ Property / cites work @@
+Weakest Precondition Reasoning for Expected Run–Times of Probabilistic Programs
+Normal rank
@@ Property / cites work @@
+Semantics of probabilistic programs
@@ Property / cites work: Semantics of probabilistic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction, Refinement and Proof for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Probability and Computing
@@ Property / cites work: Probability and Computing / rank @@
+Normal rank
@@ Property / cites work @@
+Q4778698
@@ Property / cites work: Q4778698 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4856179
@@ Property / cites work: Q4856179 / rank @@
+Normal rank
@@ Property / cites work @@
+A Hoare-like proof system for analysing the computation time of programs
+Normal rank
@@ Property / cites work @@
+Semantics with applications: an appetizer.
@@ Property / cites work: Semantics with applications: an appetizer. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002149
@@ Property / cites work: Q4002149 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3141916
@@ Property / cites work: Q3141916 / rank @@
+Normal rank