Certification of Compiler Optimizations Using Kleene Algebra with Tests.

Dexter Kozen Maria-Christina Patron

Published in: Computational Logic (2000)

Keyphrases

propositional logic
algebraic expressions
third party
query language
general purpose
programming language
test cases
regular expressions
relational algebra
data sets
neural network
data model
normal form
algebraic geometry