Malbaški, Dušan; Ivetić, Dragan Some notes on the formal definition of streams. (English) Zbl 0942.68013 Yugosl. J. Oper. Res. 6, No. 2, 277-284 (1996). The paper deals with the streams of FIFO-type including two kinds of so-called quantified streams : \(A\) such that \(P(x)\), \(A\) while \(P(x)\), where \(P(x)\) is a predicate. A formal definition by sexteen axioms is stated for such streams. However, a big problem is how effectively to implement such streams. Reviewer: Slaviša Prešić (VrČin) MSC: 68N01 General topics in the theory of software Keywords:streams; formal definition; algorithmic logic PDFBibTeX XMLCite \textit{D. Malbaški} and \textit{D. Ivetić}, Yugosl. J. Oper. Res. 6, No. 2, 277--284 (1996; Zbl 0942.68013)