A Design for an Automatic Programming System
Abstract
The algorithm design problem is concerned with the construction of an algorithm satisfying a given specification of a problem. We present an overview of a system, called NAPS, which designs Algorithms in a top-down manner. Given a formal specification of a problem NAPS produces a top level algorithm plue specifications for any necessary subalgorithms. The specifications for the subalgorithms are produced in such a way that the top level algorithm will satisfy the original specifications if and only if subalgorithms can be built which satisfy the subalgorithms specifications.
Cite
Text
Smith. "A Design for an Automatic Programming System." International Joint Conference on Artificial Intelligence, 1981.Markdown
[Smith. "A Design for an Automatic Programming System." International Joint Conference on Artificial Intelligence, 1981.](https://mlanthology.org/ijcai/1981/smith1981ijcai-design/)BibTeX
@inproceedings{smith1981ijcai-design,
title = {{A Design for an Automatic Programming System}},
author = {Smith, Douglas R.},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1981},
pages = {1027-1029},
url = {https://mlanthology.org/ijcai/1981/smith1981ijcai-design/}
}