Optimizing Protocol Rewrite Rules of CIL Specifications.

Grit Denker Jonathan K. Millen Antonio Grau Juliana Küster Filipe

Published in: CSFW (2000)

Keyphrases

rewrite rules
rewriting rules
transformation rules
consistency constraints
sql queries
complex queries
query optimization