Imperative Program Transformation by Rewriting.

David Lacey Oege de Moor

Published in: CC (2001)

Keyphrases

magic sets
rewrite rules
computer programs
transformation rules
real time
static analysis
rewriting rules
query rewriting
programming environment
high level
data sets
conjunctive queries
query processing
linear transformation
data structure
transformation parameters
similarity measure