ML Anthology

Automatic Synthesis of Numerical Computer Programs

Richard H. Brown
IJCAI 1981 pp. 998-1003
/ijcai/1981/brown1981ijcai-automatic/

Abstract

This paper is about rule-based problem solving. It has a motto: The less a rule can do, the better the effects of using it can be predicted. 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

Semantic Scholar

Cite

Text

Brown. "Automatic Synthesis of Numerical Computer Programs." International Joint Conference on Artificial Intelligence, 1981.

Markdown

[Brown. "Automatic Synthesis of Numerical Computer Programs." International Joint Conference on Artificial Intelligence, 1981.](https://mlanthology.org/ijcai/1981/brown1981ijcai-automatic/)

BibTeX

@inproceedings{brown1981ijcai-automatic,
  title     = {{Automatic Synthesis of Numerical Computer Programs}},
  author    = {Brown, Richard H.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1981},
  pages     = {998-1003},
  url       = {https://mlanthology.org/ijcai/1981/brown1981ijcai-automatic/}
}