Use of eCommons for rapid dissemination of COVID-19 research
In order to maximize the discoverability of COVID-19 research, and to conform with repository best practices and the requirements of publishers and research funders, we provide special guidance for COVID-19 submissions.
KAT + B!
|dc.contributor.author||Grathwohl, Niels Bjørn Bugge|
|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.subject||Kleene algebra with tests||en_US|
|dc.title||KAT + B!||en_US|