A Refinement Approach for Developing Probabilistic Programs
Publish place: 14th annual International CSI Computer Conference
Publish Year: 1388
نوع سند: مقاله کنفرانسی
زبان: English
View: 2,481
This Paper With 6 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
CSICC14_103
تاریخ نمایه سازی: 24 خرداد 1388
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.
Authors
Hassan Haghighi
Shahid Beheshti University
Seyyed Hassan Mirian-Hosseinabadi
Sharif University of Technology