Program transformation by templates based on term rewriting.

Yuki Chiba, Takahito Aoto, Yoshihito Toyama

Browse the full PPDP paper archive.