Equivalent Transformation Rules as Components of Programs.

Hiroshi Mabuchi Kiyoshi Akama Toshihiro Wakatsuki

Published in: ICICIC (2) (2006)

Keyphrases

transformation rules
recursive programs
rewrite rules
logic programs
metamodel
open source
model driven
program synthesis
data mining