Program transformation by templates based on term rewriting.

Yuki Chiba Takahito Aoto Yoshihito Toyama

Published in: PPDP (2005)

Keyphrases

term rewriting
theorem prover
theorem proving
operational semantics
rewrite systems
knuth bendix
databases
computer programs
transformation rules