Geodesic
Procedure mechanisms of abstraction
Zapiski Nauchnykh Seminarov POMI, Computational methods and algorithms. Part V, Tome 111 (1981), pp. 5-30 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice du chapitre de livre

The article considers the use of the procedure mechanism with procedure type parameters in modular organization of programs and program systems. Descriptions of modules realizing various types of abstractions with the aid of this mechanism are demonstrated. The notion of a mixed abstraction is introduced and a method of its realization by the procedure mechanism is proposed. 
@article{ZNSL_1981_111_a0,
     author = {I. R. Agamirzyan and A. S. Ivanov},
     title = {Procedure mechanisms of abstraction},
     journal = {Zapiski Nauchnykh Seminarov POMI},
     pages = {5--30},
     year = {1981},
     volume = {111},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/ZNSL_1981_111_a0/}
}
TY  - JOUR
AU  - I. R. Agamirzyan
AU  - A. S. Ivanov
TI  - Procedure mechanisms of abstraction
JO  - Zapiski Nauchnykh Seminarov POMI
PY  - 1981
SP  - 5
EP  - 30
VL  - 111
UR  - http://geodesic.mathdoc.fr/item/ZNSL_1981_111_a0/
LA  - ru
ID  - ZNSL_1981_111_a0
ER  - 
%0 Journal Article
%A I. R. Agamirzyan
%A A. S. Ivanov
%T Procedure mechanisms of abstraction
%J Zapiski Nauchnykh Seminarov POMI
%D 1981
%P 5-30
%V 111
%U http://geodesic.mathdoc.fr/item/ZNSL_1981_111_a0/
%G ru
%F ZNSL_1981_111_a0
I. R. Agamirzyan; A. S. Ivanov. Procedure mechanisms of abstraction. Zapiski Nauchnykh Seminarov POMI, Computational methods and algorithms. Part V, Tome 111 (1981), pp. 5-30. http://geodesic.mathdoc.fr/item/ZNSL_1981_111_a0/