A Knowledge-Based Approach to Using Efficiency Estimation in Program Synthesis Open PDF Document Details Document Type Technical Report Publication Date Jan 01, 1979 Accession Number ADA070269 Entities People Elaine Kant Tags Communities of Interest Human Systems Materials and Manufacturing Processes DTIC Thesaurus Topics Algorithms Artificial Intelligence Cognitive Systems Engineering Computer Programming Construction Dynamic Programming Efficiency Language Models Numbers Pert Prime Numbers Prototypes Systems Engineering Trees (Data Structures)