Login / Signup
Validating Assertion Language Rewrite Rules and Semantics With Automated Theorem Provers.
Katell Morin-Allory
Marc Boule
Dominique Borrione
Zeljko Zilic
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2010)
Keyphrases
</>
rewrite rules
rewriting rules
transformation rules
automated theorem provers
computer algebra
consistency constraints
natural language
sparql queries
database
relational calculus
web services
data streams
query optimization
complex queries
model driven