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...
Main Author: | |
---|---|
Format: | Article |
Language: | English |
Published: |
Alexandru Ioan Cuza University of Iasi
2012-12-01
|
Series: | Scientific Annals of Computer Science |
Online Access: | http://www.info.uaic.ro/bin/download/Annals/XXII2/XXII2_3.pdf |