Title of article
Towards a refinement algebra
Author/Authors
J. von Wright، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 2004
Pages
23
From page
23
To page
45
Abstract
Kleene algebra with tests (KAT) has proved to be useful for reasoning about programs in a partial correctness framework. We describe demonic refinement algebra (DRA), a variation of KAT for total correctness and illustrate its modelling and reasoning power with a number of applications and examples.
Keywords
Refinement , Kleene algebra , iteration , Predicate transformers
Journal title
Science of Computer Programming
Serial Year
2004
Journal title
Science of Computer Programming
Record number
1079711
Link To Document