Measurement of refinement and correctness

Front. Comput. Sci. ›› 2009, Vol. 3 ›› Issue (4) : 465 -471.

PDF (272KB)
Front. Comput. Sci. ›› 2009, Vol. 3 ›› Issue (4) : 465 -471. DOI: 10.1007/s11704-009-0016-4
Research articles

Measurement of refinement and correctness

Author information +
History +
PDF (272KB)

Abstract

The purpose of this paper is to introduce a measurement approach of refinement and correctness of probabilistic programs. That is, we define the refinement degree and the correctness degree by the weakest precondition transformers. This kind of measurement indicates the degree that a program is refined by another and the degree that a program is correct with respect to a pair of precondition and postcondition. Some properties of this measurement, for example continuity, are discussed.

Keywords

deterministic probabilistic program / nondeterministic probabilistic program / refinement degree / correctness degree

Cite this article

Download citation ▾
null. Measurement of refinement and correctness. Front. Comput. Sci., 2009, 3(4): 465-471 DOI:10.1007/s11704-009-0016-4

登录浏览全文

4963

注册一个新账户 忘记密码

References

AI Summary AI Mindmap
PDF (272KB)

836

Accesses

0

Citation

Detail

Sections
Recommended

AI思维导图

/