Observations on the Interaction Between Coding and Efficiency Knowledge in the PSI Program Synthesis System.

David R. Barstow Elaine Kant

Published in: ICSE (1976)

Keyphrases

program synthesis
domain knowledge
knowledge management
knowledge base
knowledge representation
knowledge acquisition
human computer interaction
coding scheme
database systems
high level
user interaction