Reasoning about efficiency within a probabilistic calculus
<p>Expectation-based probabilistic predicate transformers [15] provide a logic for probabilistic sequential programs, giving access to expressions such as &apos;the probability that predicate <em>A</em> is achieved finally&apos;. Using expectations more generally ho...
প্রধান লেখক: | McIver, A |
---|---|
বিন্যাস: | Journal article |
ভাষা: | English |
প্রকাশিত: |
1999
|
বিষয়গুলি: |
অনুরূপ উপাদানগুলি
অনুরূপ উপাদানগুলি
-
Reasoning about efficiency within a probabilistic μ-calculus
অনুযায়ী: McIver, A
প্রকাশিত: (1999) -
Quantitative program logic and expected time bounds in probabilistic distributed algorithms
অনুযায়ী: McIver, A
প্রকাশিত: (2002) -
Termination and semantics of probabilistic lambda calculus
অনুযায়ী: Kenyon-Roberts, A
প্রকাশিত: (2024) -
Partial correctness for probabilistic demonic programs
অনুযায়ী: McIver, A, অন্যান্য
প্রকাশিত: (2001) -
Probabilistic Concurrent Kleene Algebra
অনুযায়ী: Annabelle McIver, অন্যান্য
প্রকাশিত: (2013-06-01)