Transformation Rules for GHC Programs.

Kazunori Ueda Koichi Furukawa

Published in: FGCS (1988)

Keyphrases

transformation rules
recursive programs
rewriting rules
metamodel
rewrite rules
program synthesis
logic programs
model driven
query optimizer
case study
query language
management system
data driven
database management systems