Transformation systems for program synthesis: Knuth-Bendix completion and fold/unfold

Bertram Fronhöfer Ulrich Furbach

Published in: Forschungsberichte, TU Munich (1988)

Keyphrases

program synthesis
knuth bendix
rewrite systems
term rewriting
database
expert systems
information extraction
object oriented
general purpose
temporal logic