Geodesic
Applicative computing: attempts for knowing the nature of computations
Vestnik Udmurtskogo universiteta. Matematika, mehanika, kompʹûternye nauki, no. 2 (2009), pp. 118-131

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

This paper reflects the results obtained in working out the projects 93-01-00943-а (LAMBDA), 96-01-01923-а (KOOAM), 05-01-00736-а, 06-07-99005-с, 05-07-90236-в, 07-07-00298-а, 07-07-00355-а, 07-07-12098-ofi, granted by the RFBR. If an the early stages programming was a kind of art when a programmer wrote the program for solving the definite task and supplied it more or less detailed documentation, then nowadays a powerful software industry is created with supplementary software engineering. The present days in the research in programming or in an area of computer science, as a rule, those projects have being supported which bring in a few improvement in solution of already well known problem. As a result, the actually important and fundamental research, which leads to investigation of the novel concepts of computations, is left out of a scope and insufficient attention is paid to the knowledge accumulation in an area of programming. In this paper the main attention is paid to the computations with objects, the parity and role of which in this domain is growing more and more, resulting in a dominant trend.
Keywords: combinatory logic, computing, applicative environment, embedded computational systems. 
@article{VUU_2009_2_a12,
     author = {V. E. Wolfengagen and L. Yu. Ismailova and S. V. Kosikov and A. D. Laptev and V. N. Nazarov and V. V. Roslovtsev and I. S. Safarov and A. L. Stepanov},
     title = {Applicative computing: attempts for knowing the nature of computations},
     journal = {Vestnik Udmurtskogo universiteta. Matematika, mehanika, kompʹ\^uternye nauki},
     pages = {118--131},
     publisher = {mathdoc},
     number = {2},
     year = {2009},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VUU_2009_2_a12/}
}
TY  - JOUR
AU  - V. E. Wolfengagen
AU  - L. Yu. Ismailova
AU  - S. V. Kosikov
AU  - A. D. Laptev
AU  - V. N. Nazarov
AU  - V. V. Roslovtsev
AU  - I. S. Safarov
AU  - A. L. Stepanov
TI  - Applicative computing: attempts for knowing the nature of computations
JO  - Vestnik Udmurtskogo universiteta. Matematika, mehanika, kompʹûternye nauki
PY  - 2009
SP  - 118
EP  - 131
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/VUU_2009_2_a12/
LA  - ru
ID  - VUU_2009_2_a12
ER  - 
%0 Journal Article
%A V. E. Wolfengagen
%A L. Yu. Ismailova
%A S. V. Kosikov
%A A. D. Laptev
%A V. N. Nazarov
%A V. V. Roslovtsev
%A I. S. Safarov
%A A. L. Stepanov
%T Applicative computing: attempts for knowing the nature of computations
%J Vestnik Udmurtskogo universiteta. Matematika, mehanika, kompʹûternye nauki
%D 2009
%P 118-131
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VUU_2009_2_a12/
%G ru
%F VUU_2009_2_a12
V. E. Wolfengagen; L. Yu. Ismailova; S. V. Kosikov; A. D. Laptev; V. N. Nazarov; V. V. Roslovtsev; I. S. Safarov; A. L. Stepanov. Applicative computing: attempts for knowing the nature of computations. Vestnik Udmurtskogo universiteta. Matematika, mehanika, kompʹûternye nauki, no. 2 (2009), pp. 118-131. http://geodesic.mathdoc.fr/item/VUU_2009_2_a12/