Using Rewriting Techniques to Produce Code Generators and Proving Them Correct.

Annie Despland Monique Mazaud Raymond Rakotozafy

Published in: Sci. Comput. Program. (1990)

Keyphrases

short list
data sets
data flow
rewrite rules
real time
real world
e learning
website
decision trees
open source
source code
query optimization
query evaluation
conjunctive queries
query rewriting