Geodesic
Some Notes on the Formal Definition of Streams
Yugoslav journal of operations research, Tome 6 (1996) no. 2, p. 277 .

Voir la notice de l'article provenant de la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts

The paper considers the language constructs that give a real meaning to the structures makes applied methodology itself to be easy to understand and the program becomes close to the way of thinking about the problem on hand. The concept of streams is emphasized as a means for reaching the high quality of programs. Also, there are given an informal and formal definitions of streams. Formal definition of the stream consists of sixteen axioms based on the formulas of algorithmic logic and abstract functions . The meaning and the purpose of these axioms is that every implementation that satisfies them is a stream.
Classification : 68N01
Keywords: Streams, program quality, formal specification, algorithmic logic 
@article{YJOR_1996_6_2_a10,
     author = {Du\v{s}an Malba\v{s}ki and Dragan Iveti\'c},
     title = {Some {Notes} on the {Formal} {Definition} of {Streams}},
     journal = {Yugoslav journal of operations research},
     pages = {277 },
     publisher = {mathdoc},
     volume = {6},
     number = {2},
     year = {1996},
     zbl = {0942.68013},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/YJOR_1996_6_2_a10/}
}
TY  - JOUR
AU  - Dušan Malbaški
AU  - Dragan Ivetić
TI  - Some Notes on the Formal Definition of Streams
JO  - Yugoslav journal of operations research
PY  - 1996
SP  - 277 
VL  - 6
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/YJOR_1996_6_2_a10/
LA  - en
ID  - YJOR_1996_6_2_a10
ER  - 
%0 Journal Article
%A Dušan Malbaški
%A Dragan Ivetić
%T Some Notes on the Formal Definition of Streams
%J Yugoslav journal of operations research
%D 1996
%P 277 
%V 6
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/YJOR_1996_6_2_a10/
%G en
%F YJOR_1996_6_2_a10
Dušan Malbaški; Dragan Ivetić. Some Notes on the Formal Definition of Streams. Yugoslav journal of operations research, Tome 6 (1996) no. 2, p. 277 . http://geodesic.mathdoc.fr/item/YJOR_1996_6_2_a10/