by
Joakim von Wright

Citations: | 12 - 0 self |

@MISC{Wright02fromkleene,

author = {Joakim von Wright},

title = {From Kleene Algebra to Refinement Algebra},

year = {2002}

}

KAT (Kleene Algebra with Tests) have proved to be useful for reasoning about programs in a partial correctness framework. We describe DRA (demonic Refinement Algebra), a variation of KAT for total correctness and illustrate its modeling and reasoning power with a number of applications and examples.

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2014 The Pennsylvania State University