The Refinement Paradigm: The Interaction of Coding and Efficiency Knowledge in Program Synthesis.

Elaine Kant David R. Barstow

Published in: IEEE Trans. Software Eng. (1981)

Keyphrases

program synthesis
knowledge acquisition
domain knowledge
knowledge base
coding scheme
computational complexity
expert systems
human computer interaction
metadata
training data
prior knowledge
knowledge representation
knowledge management
user interaction
learning experience
gaussian processes