LEMMA: A System for Automated Synthesis of Recursive Programs in Equational Theories.

Jacques Chazarain Serge Muller

Published in: RTA (1995)

Keyphrases

program synthesis
recursive programs
equational theories
logic programs
transformation rules
theorem proving
databases
database
machine learning
xml documents
data model
software engineering