The Roles of Knowledge and Deduction in Program Synthesis.

David R. Barstow

Published in: IJCAI (1979)

Keyphrases

program synthesis
knowledge base
domain knowledge
knowledge management
knowledge discovery
object oriented
wordnet
recursive programs