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...
Saved in:
| Published in: | Scientific annals of computer science Vol. 22; no. 2; pp. 367 - 394 |
|---|---|
| Main Author: | |
| Format: | Journal Article |
| Language: | English |
| Published: |
Iasi
Alexandru Ioan Cuza University of Iasi
01.01.2012
|
| ISSN: | 1843-8121, 2248-2695 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Be the first to leave a comment!