Automatic programming for streams

Authors:
David Barstow
Affiliations:
SchlumbergerDoll Research, Ridgefield, Conn
Venue:
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Year:
1985

Citing 5
Cited 0

The stream machine: a data flow architecture for real-time applications

ICSE '85 Proceedings of the 8th international conference on Software engineering
The UNIX time-sharing system

Communications of the ACM
Automatic Program Construction Techniques

Automatic Program Construction Techniques
An automatic programming system to support an experimental science

ICSE '82 Proceedings of the 6th international conference on Software engineering
Data Flow Languages

Computer

Quantified Score

Hi-index	0.00

Visualization

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.