Position Automata for Kleene Algebra with Tests

Kleene algebra with tests (KAT) is an equational system that combines Kleene and Boolean algebras. One can model basic programming constructs and assertions in KAT, which allowed for its application in compiler optimization, program transformation and dataflow analysis. To provide semantics for KAT...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Scientific annals of computer science Jg. 22; H. 2; S. 367 - 394
1. Verfasser:	Silva, Alexandra
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Iasi Alexandru Ioan Cuza University of Iasi 01.01.2012
ISSN:	1843-8121, 2248-2695
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!