CARTESIAN STREAM TRANSFORMER COMPOSITION

Article type: Research Article

Authors: Stephens, R. | Thompson, B.C.

Affiliations: Department of Electronic and Electrical Engineering, Computer Systems Research Group, University of Surrey, Guildford, Surrey. GU2 5XH. | Department of Computer Science, University of Wales at Swansea, Singleton Park, Swansea. SA2 8PP.

Abstract: Many examples of computational systems compute over infinite sequences of data called streams. We call such systems stream transformers and the study of their theoretical and practical aspects stream processing. In this paper we present a tool for composing stream transformers within an extremely weak second-order, algebraic account of stream processing that comprises a straightforward method for the implementation, specification and verification of stream processing systems.

DOI: 10.3233/FI-1996-25202

Journal: Fundamenta Informaticae, vol. 25, no. 2, pp. 123-174, 1996