Semantics of sub-probabilistic programs

Abstract

The aim of this paper is to extend the probabilistic choice in probabilistic programs to sub-probabilistic choice, i.e., of the form

Keywords

sub-probabilistic programs, total correctness, wp& / #8211 / calculus