A System for Proving Equivalences of Recursive Programs.

Published in: CADE (1980)

Keyphrases

recursive programs
program synthesis
logic programs
transformation rules
connected components
logic programming
relational algebra
background knowledge
machine learning
relational databases
software engineering