KAT + B!

dc.contributor.author	Grathwohl, Niels Bjørn Bugge
dc.contributor.author	Kozen, Dexter
dc.contributor.author	Mamouras, Konstantinos
dc.date.accessioned	2014-01-08T21:22:52Z
dc.date.available	2014-01-08T21:22:52Z
dc.date.issued	2014-01-08
dc.description.abstract	It is known that certain program transformations require a small amount of mutable state, a feature not explicitly provided by Kleene algebra with tests (KAT). In this paper we show how to axiomatically extend KAT with this extra feature in the form of mutable tests. The extension is conservative and is formulated as a general commutative coproduct construction. We give several results on deductive completeness and complexity of the system, as well as some examples of its use.	en_US
dc.description.sponsorship	Danish Council for Independent Research, Project 11-106278, ``Kleene Meets Church (KMC): Regular Expressions and Types.''	en_US
dc.identifier.uri	https://hdl.handle.net/1813/34898
dc.language.iso	en_US	en_US
dc.subject	Kleene algebra	en_US
dc.subject	Kleene algebra with tests	en_US
dc.subject	program schematology	en_US
dc.subject	verification	en_US
dc.title	KAT + B!	en_US
dc.type	technical report	en_US

Files

Now showing 1 - 1 of 1