Loading...

A refinement approach for developing probabilistic programs

Haghighi, H ; Sharif University of Technology

336 Viewed
  1. Type of Document: Article
  2. DOI: 10.1109/CSICC.2009.5349331
  3. Abstract:
  4. 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. ©2009 IEEE
  5. Keywords:
  6. Existing method ; Imperative languages ; Probabilistic choices ; Probabilistic programs ; Refinement calculi ; Calculations ; Specifications ; Program translators
  7. Source: 2009 14th International CSI Computer Conference, CSICC 2009, 20 October 2009 through 21 October 2009 ; 2009 , Pages 140-145 ; 9781424442621 (ISBN)
  8. URL: http://ieeexplore.ieee.org/document/5349331