## Streams, Stream Transformers and Domain Representations (1998)

### Cached

### Download Links

- [www-compsci.swan.ac.uk]
- [www.cs.swansea.ac.uk]
- DBLP

### Other Repositories/Bibliography

Venue: | Prospects for Hardware Foundations, Lecture Notes in Computer Science |

Citations: | 3 - 3 self |

### BibTeX

@INPROCEEDINGS{Blanck98streams,stream,

author = {Jens Blanck and Viggo Stoltenberg-Hansen and John V. Tucker},

title = {Streams, Stream Transformers and Domain Representations},

booktitle = {Prospects for Hardware Foundations, Lecture Notes in Computer Science},

year = {1998},

pages = {27--68},

publisher = {Springer Verlag}

}

### OpenURL

### Abstract

We present a general theory for the computation of stream transformers of the form F: (R-- B)-- (T-- A), where time T and R, and data A and B, are discrete or continuous. We show how methods for representing topological algebras by algebraic domains can be applied to transformations of continuous streams. A stream transformer is continuous in the compact-open topology on continuous streams if and only if it has a continuous lifting to a standard algebraic domain representation of such streams. We also examine the important problem of representing discontinuous streams, such as signals T-- A, where time T is continuous and data A is discrete.