Some Rules For The Automatic Synthesis Of Programs

Green, C. Cordell; Barstow, David R.

Some Rules For The Automatic Synthesis Of Programs

Download BibTeX Cite

Proceedings of the Fourth International Joint Conference on Artificial Intelligence. Learning Debugging And Automatic Programming. Pages 232-238.

Abstract

A set of rules (or facts) about program synthesis is presented. The rules are about the process of programming, and are sufficient for the synthesis of an insertion sort program. The use of the rules to write a short LISP program is described. Taken together, the rules are an embodiment of a detailed theory which explains one small part of the programming process. The size of the set of rules suggests the complexity of the process of writing programs and indicates that much work will be required to codify significant amounts of programming knowledge as a step toward the development of program-understanding systems.

C. Cordell Green, and David R. Barstow. 1975. Some Rules For The Automatic Synthesis Of Programs. In Proceedings of the Fourth International Joint Conference on Artificial Intelligence, IJCAI-75. IJCAI, 232–238. https://ijcai.org/proceedings/1975/36

@inproceedings{ijcai1975p36,
  title     = {Some Rules For The Automatic Synthesis Of Programs},
  author    = {Green, C. Cordell and Barstow, David R.},
  booktitle = {Proceedings of the Fourth International Joint Conference on
               Artificial Intelligence, {IJCAI-75}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Patrick Winston and Carl Hewitt},
  pages     = {232--238},
  year      = {1975},
  note      = {Learning Debugging And Automatic Programming},
  url       = {https://ijcai.org/proceedings/1975/36},
}

TY  - CPAPER
TI  - Some Rules For The Automatic Synthesis Of Programs
AU  - Green, C. Cordell
AU  - Barstow, David R.
T2  - Proceedings of the Fourth International Joint Conference on Artificial Intelligence, IJCAI-75
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1975
SP  - 232
EP  - 238
UR  - https://ijcai.org/proceedings/1975/36
ER  -