Structured Programming with go to Statements
ACM Computing Surveys (CSUR)
A control statement for natural top-down structured programming
Programming Symposium, Proceedings Colloque sur la Programmation
The selection of efficient implementations for a high-level language
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
A parser for english and its application in an automatic programming system.
A parser for english and its application in an automatic programming system.
Program inference from traces using multiple knowledge sources
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
Program Transformation Systems
ACM Computing Surveys (CSUR)
A summary of the PSI program synthesis system
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
A knowledge-based system for automatic program construction
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
Results in knowledge based program synthesis
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
On program synthesis knowledge
Artificial Intelligence
Hi-index | 0.00 |
A system called the Program Model Builder (PMB) is being designed and implemented to perform the basic operations required to synthesize and modify programs. PMB plays a central role as one of the expert modules of the PSI (&psgr;) program synthesis system. PMB builds a complete and consistent program model from small chunks of program specification received from other (&psgr;) experts. PMB must deal with the fact that these program fragments often omit details and may be incomplete, ambiguous, inconsistent, nonspecific, and arbitrarily ordered. The initial version of PMB has successfully synthesized a few program models from fragments. This work includes the evolution of a very high-level program modelling language, the identification and codification of useful very high-level programming knowledge including equivalence transformations, and the implementation of a rule-based problem solving system embodying this knowledge.