---
title: "Automatic Programming for Streams"
authors:
  - "David R. Barstow"
doi: ""
url: "https://ijcai.org/proceedings/1985/43"
pdf: "https://ijcai.org/proceedings/1985/0043.pdf"
venue: "Proceedings of the Ninth International Joint Conference on Artificial Intelligence"
year: 1985
pages: "232-236"
track: "Automatic Programming"
keywords:
---

# Automatic Programming for Streams

David R. Barstow

*Proceedings of the Ninth International Joint Conference on Artificial Intelligence*, 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.