• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

From Kleene Algebra to Refinement Algebra

Joakim von Wright, From Kleene Algebra to Refinement Algebra. In: Mathematics of Program Construction (MPC'02), Lecture Notes in Computer Science 2386, 233–262, Springer-Verlag, 2002.

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 modeling and reasoning power with a number of applications
and examples.

BibTeX entry:

@INPROCEEDINGS{pvonWright02a,
  title = {From Kleene Algebra to Refinement Algebra},
  booktitle = {Mathematics of Program Construction (MPC'02)},
  author = {Wright, Joakim von},
  volume = {2386},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer-Verlag},
  pages = {233–262},
  year = {2002},
}

Belongs to TUCS Research Unit(s): Learning and Reasoning Lab

Publication Forum rating of this publication: level 1

Edit publication