ML Anthology

Automatic Programming Using Abstract Data Types

Gérard D. Guiho
IJCAI 1983 pp. 1-9
/ijcai/1983/guiho1983ijcai-automatic/

Abstract

In this paper we first try to characterize one meaning of automatic programming. We consider it to be one part of the Programming environment related to Artificial Intelligence techniques. We then illustrate an automatic programning process, on a simple example, using an Abstract Data Type theory to which we add the not ion of schemes which are Type decomposition. We conclude that all the concepts treated in this paper must be contained in one way or another in any automatic programming system. However this necessitates further study in such theoretical fields as Abstract Data

PDF Semantic Scholar

Cite

Text

Guiho. "Automatic Programming Using Abstract Data Types." International Joint Conference on Artificial Intelligence, 1983.

Markdown

[Guiho. "Automatic Programming Using Abstract Data Types." International Joint Conference on Artificial Intelligence, 1983.](https://mlanthology.org/ijcai/1983/guiho1983ijcai-automatic/)

BibTeX

@inproceedings{guiho1983ijcai-automatic,
  title     = {{Automatic Programming Using Abstract Data Types}},
  author    = {Guiho, Gérard D.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1983},
  pages     = {1-9},
  url       = {https://mlanthology.org/ijcai/1983/guiho1983ijcai-automatic/}
}