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 &amp;apos;the probability that predicate <em>A</em> is achieved finally&amp;apos;. Using expectations more generally ho...

সম্পূর্ণ বিবরণ

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক: McIver, A
বিন্যাস: Journal article
ভাষা:English
প্রকাশিত: 1999
বিষয়গুলি:

অনুরূপ উপাদানগুলি