A Basis for a Theory of Program Synthesis.

P. A. Subrahmanyam

Published in: AAAI (1980)

Keyphrases

program synthesis
mathematical theory
theoretical framework
general theory
data mining
knowledge base
natural language processing
text mining
text classification