Title of article :
Towards a refinement algebra
Author/Authors :
J. von Wright، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 2004
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
Journal title :
Science of Computer Programming
