Geodesic
Procedure mechanisms of abstraction
Zapiski Nauchnykh Seminarov POMI, Computational methods and algorithms. Part V, Tome 111 (1981), pp. 5-30

Voir la notice de l'article provenant de la source Math-Net.Ru

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},
     publisher = {mathdoc},
     volume = {111},
     year = {1981},
     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
PB  - mathdoc
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
%I mathdoc
%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/