A Theoretical Foundation of Program Synthesis by Equivalent Transformation.

Kiyoshi Akama Hidekatsu Koike Hiroshi Mabuchi

Published in: Ershov Memorial Conference (2001)

Keyphrases

theoretical foundation
program synthesis
theoretical framework
inductive logic programming
domain knowledge
natural language
transformation rules
information retrieval
training data
recursive programs