RUS  ENG
Full version
JOURNALS // Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp'yuternye Nauki // Archive

Vestn. Udmurtsk. Univ. Mat. Mekh. Komp. Nauki, 2009 Issue 2, Pages 118–131 (Mi vuu20)

COMPUTER SCIENCE

Applicative computing: attempts for knowing the nature of computations

V. E. Wolfengagena, L. Yu. Ismailovab, S. V. Kosikovb, A. D. Laptevb, V. N. Nazarovb, V. V. Roslovtsevb, I. S. Safarovb, A. L. Stepanovb

a "JurInfoR-MSU" Institute for Contemporary Education, Moscow
b Moscow Engineering Physics Institute (National Nuclear Research University)

Abstract: 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.

UDC: 004.07(063)

MSC: 03B40, 68Q05, 68Q85, 68N18

Received: 03.03.2009



© Steklov Math. Inst. of RAS, 2024