Operational and Semantic Equivalence Between Recursive Programs.

Jean-Claude Raoult Jean Vuillemin

Published in: J. ACM (1980)

Keyphrases

recursive programs
program synthesis
logic programs
transformation rules
natural language
high level
semantic information
knowledge base
learning objects