مشاهده مشخصات مقاله
A Refinement Approach for Developing Probabilistic Programs
|
Authors |
-
Hassan Haghighi
-
Seyyed Hassan Mirian-Hosseinabadi
|
|
Conference |
چهاردهمین کنفرانس بینالمللی سالانه انجمن کامپیوتر ایران |
|
Abstract |
In this paper, we introduce a refinement approach
to develop probabilistic programs formally. To
achieve this goal, we first present a way to specify
probabilistic programs in a Z-based notation. We then
use an existing method of translating Z into a
refinement calculus to transform our Z-style
specifications of probabilistic programs into
specification statements of the refinement calculus.
We finally add new laws to the refinement calculus
helping us to refine the resulting specification
statements into probabilistic choice constructs of a
probabilistic imperative language. In this way, we will
provide a completely formal way for developing
probabilistic programs. |
|
قیمت |
-
برای اعضای سایت : 100,000 Rial
-
برای دانشجویان عضو انجمن : 20,000 Rial
-
برای اعضای عادی انجمن : 40,000 Rial
|
خرید مقاله
|
|
.gif){kind=icon}