Author:
Green Cordell,Barstow David
Subject
Artificial Intelligence,Linguistics and Language,Language and Linguistics
Reference17 articles.
1. Automatic construction of algorithms and data structures using a knowledge base of programming rules;Barstow,1977
2. Observations on the interaction of coding and efficiency knowledge in the PSI program synthesis system;Barstow,1976
3. A transformation system for developing recursive programs;Burstall;Journal of the ACM,1977
4. A synthesis of several sorting algorithms;Darlington,1976
5. Natural language processing in an automatic programming domain;Ginsparg,1978
Cited by
39 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The history of modern artificial intelligence;Mind Mapping and Artificial Intelligence;2023
2. Behavior Composition Meets Supervisory Control;2015 IEEE International Conference on Systems, Man, and Cybernetics;2015-10
3. Synthesis of list algorithms by mechanical proving;Journal of Symbolic Computation;2015-07
4. Program Transformations: Some Lessons from the 1980s;Automatic Program Development;2008
5. The paradigms of programming;Resonance;2005-05