Automatic Synthesis of Numerical Computer Programs

Brown, Richard H.

Automatic Synthesis of Numerical Computer Programs

Download BibTeX Cite

Proceedings of the Seventh International Joint Conference on Artificial Intelligence. Automatic Programming. Pages 998-1002.

Abstract

This paper is about rule-based problem solving. It has a motto: Tht less a rult can do , tht bttttr tltt tfftcts of using it can be prtdlcttd. This motto suggests the key to obtaining coherent behavior by avoiding exponential behavior (combinatorial explosion) In a problem solving program for the domain of synthesizing numerical computer programs from their non-procedural specifications.

Richard H. Brown. 1981. Automatic Synthesis of Numerical Computer Programs. In Proceedings of the Seventh International Joint Conference on Artificial Intelligence, IJCAI-81. IJCAI, 998–1002. https://ijcai.org/proceedings/1981/190

@inproceedings{ijcai1981p190,
  title     = {Automatic Synthesis of Numerical Computer Programs},
  author    = {Brown, Richard H.},
  booktitle = {Proceedings of the Seventh International Joint Conference on
               Artificial Intelligence, {IJCAI-81}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Roger C. Schank},
  pages     = {998--1002},
  year      = {1981},
  month     = {8},
  note      = {Automatic Programming},
  url       = {https://ijcai.org/proceedings/1981/190},
}

TY  - CPAPER
TI  - Automatic Synthesis of Numerical Computer Programs
AU  - Brown, Richard H.
T2  - Proceedings of the Seventh International Joint Conference on Artificial Intelligence, IJCAI-81
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1981
SP  - 998
EP  - 1002
UR  - https://ijcai.org/proceedings/1981/190
ER  -