uu.seUppsala University Publications
Change search
ReferencesLink to record
Permanent link

Direct link
Normal forms in total correctness for while programs and action systems
Uppsala University, Disciplinary Domain of Humanities and Social Sciences, Faculty of Arts, Department of Philosophy, Logic and Metaphysics.
2011 (English)In: Journal of Logic and Algebraic Programming, ISSN 1567-8326, E-ISSN 1873-5940, Vol. 80, no 6, 362-375 p.Article in journal (Refereed) Published
Abstract [en]

A classical while-program normal-form theorem is derived in demonic refinement algebra. In contrast to Kozen's partial-correctness proof of the theorem in Kleene algebra with tests, the derivation in demonic refinement algebra provides a proof that the theorem holds in total correctness. A normal form for action systems is also discussed.

Place, publisher, year, edition, pages
2011. Vol. 80, no 6, 362-375 p.
National Category
URN: urn:nbn:se:uu:diva-156229DOI: 10.1016/j.jlap.2011.04.008ISI: 000292228200007OAI: oai:DiVA.org:uu-156229DiVA: diva2:431433
Available from: 2011-07-19 Created: 2011-07-18 Last updated: 2013-12-30

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Solin, Kim
By organisation
Logic and Metaphysics
In the same journal
Journal of Logic and Algebraic Programming

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 194 hits
ReferencesLink to record
Permanent link

Direct link