Automatic Programming for Streams

Barstow, David R.

Automatic Programming for Streams

Download BibTeX Cite

Proceedings of the Ninth International Joint Conference on Artificial Intelligence. Automatic Programming. Pages 232-236.

Abstract

Most automatic programming research has focused on programs which terminate and which produce output values upon termination . By contrast, programs which operate on streams of data usually do not terminate and usually produce streams of output data during execution. Such stream programs may be specified with a technique which is a generalization of specification techniques for conventional programs. The use of transformations also seems to be an appropriate technique for automatically synthesizing stream programs.

David R. Barstow. 1985. Automatic Programming for Streams. In Proceedings of the Ninth International Joint Conference on Artificial Intelligence, IJCAI-85. IJCAI, 232–236. https://ijcai.org/proceedings/1985/43

@inproceedings{ijcai1985p43,
  title     = {Automatic Programming for Streams},
  author    = {Barstow, David R.},
  booktitle = {Proceedings of the Ninth International Joint Conference on
               Artificial Intelligence, {IJCAI-85}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Aravind Joshi},
  pages     = {232--236},
  year      = {1985},
  note      = {Automatic Programming},
  url       = {https://ijcai.org/proceedings/1985/43},
}

TY  - CPAPER
TI  - Automatic Programming for Streams
AU  - Barstow, David R.
T2  - Proceedings of the Ninth International Joint Conference on Artificial Intelligence, IJCAI-85
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1985
SP  - 232
EP  - 236
UR  - https://ijcai.org/proceedings/1985/43
ER  -