Аппликативный компьютинг: попытки установить природу вычислений

 pdf (680K)

В настоящей работе отражены результаты, полученные при выполнении проектов 93-01-00943-а\break (ЛАМБДА), 96-01-01923-а (КООАМ), 05-01-00736-а, 06-07-99005-с, 05-07-90236-в, 07-07-00298-а, 07-07-00355-а, 07-07-12098-офи, поддержанных грантами РФФИ. Если на ранних стадиях программирование представляло собой вид искусства, когда программист писал программу для решения определенной задачи и сопровождал ее более или менее подробно составленной документацией, то теперь создана мощная индустрия программирования с сопутствующей ей инженерией программирования. В настоящее время в исследованиях по программированию или в сфере компьютерных наук, как правило, поддерживаются работы, в которых вносится некоторое небольшое улучшение в решение уже хорошо известной проблемы. Вместе с тем из виду упускаются действительно важные и фундаментальные исследования, ведущие к поиску новых концепций вычислений на компьютере и недостаточное внимание уделяется накоплению знаний в области программирования.
В настоящей работе основное внимание уделено вычислениям с объектами, удельный вес и роль которых в данной области все более возрастает, превращаясь в доминирующую тенденцию.

Ключевые слова: комбинаторная логика, компьютинг, аппликативная среда, погруженные вычислительные системы
Цитата: Вестник Удмуртского университета. Математика. Механика. Компьютерные науки, 2009, вып. 2, с. 118-131
DOI: 10.20537/vm090213

Applicative computing: attempts for knowing the nature of computations

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-офи, 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
Citation in English: Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp'yuternye Nauki, 2009, issue 2, pp. 118-131

Журнал индексируется в Web of Science (Emerging Sources Citation Index)

Журнал индексируется в Scopus

Журнал входит в базы данных zbMATH, MathSciNet

Журнал включен в базу данных Russian Science Citation Index (RSCI) на платформе Web of Science

Журнал включен в перечень ВАК.

Электронная версия журнала на Общероссийском математическом портале Math-Net.Ru.

Журнал включен в Crossref