Semantics of sub-probabilistic programs

Front. Comput. Sci. ›› 2008, Vol. 2 ›› Issue (1) : 29 -38.

PDF (158KB)
Front. Comput. Sci. ›› 2008, Vol. 2 ›› Issue (1) : 29 -38. DOI: 10.1007/s11704-008-0004-0

Semantics of sub-probabilistic programs

Author information +
History +
PDF (158KB)

Abstract

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

Keywords

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

Cite this article

Download citation ▾
null. Semantics of sub-probabilistic programs. Front. Comput. Sci., 2008, 2(1): 29-38 DOI:10.1007/s11704-008-0004-0

登录浏览全文

4963

注册一个新账户 忘记密码

References

Publishing order | Descend order by publishing year | Descend order by cited within
AI Summary AI Mindmap
PDF (158KB)

758

Accesses

0

Citation

Detail
Sections
Recommended

AI思维导图

/

〈 〉