Automatic Programming for Streams
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.
Cite
Text
Barstow. "Automatic Programming for Streams." International Joint Conference on Artificial Intelligence, 1985.Markdown
[Barstow. "Automatic Programming for Streams." International Joint Conference on Artificial Intelligence, 1985.](https://mlanthology.org/ijcai/1985/barstow1985ijcai-automatic/)BibTeX
@inproceedings{barstow1985ijcai-automatic,
title = {{Automatic Programming for Streams}},
author = {Barstow, David R.},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1985},
pages = {232-237},
url = {https://mlanthology.org/ijcai/1985/barstow1985ijcai-automatic/}
}