Kleene Algebra with Tests and Coq Tools for while Programs.

Published in: ITP (2013)

Keyphrases

formal methods
programming environments
building blocks
software tools
computer programs
free software
end users
regular expressions
programming environment
data sets
metadata
case study
query language
decision support
knowledge based systems
continuing education