Operational and Semantic Equivalence between Recursive Programs

Jean-Claude Raoult Jean Vuillemin

Published in: STOC (1978)

Keyphrases

recursive programs
program synthesis
transformation rules
natural language
artificial intelligence
high level
logic programs
semantic information
machine learning
knowledge representation