×

Some notes on the formal definition of streams. (English) Zbl 0942.68013

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.

MSC:

68N01 General topics in the theory of software
PDFBibTeX XMLCite