Все выпуски

В настоящей работе отражены результаты, полученные при выполнении проектов 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-офи, поддержанных грантами РФФИ. Если на ранних стадиях программирование представляло собой вид искусства, когда программист писал программу для решения определенной задачи и сопровождал ее более или менее подробно составленной документацией, то теперь создана мощная индустрия программирования с сопутствующей ей инженерией программирования. В настоящее время в исследованиях по программированию или в сфере компьютерных наук, как правило, поддерживаются работы, в которых вносится некоторое небольшое улучшение в решение уже хорошо известной проблемы. Вместе с тем из виду упускаются действительно важные и фундаментальные исследования, ведущие к поиску новых концепций вычислений на компьютере и недостаточное внимание уделяется накоплению знаний в области программирования.
В настоящей работе основное внимание уделено вычислениям с объектами, удельный вес и роль которых в данной области все более возрастает, превращаясь в доминирующую тенденцию.

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.

В повседневном компьютинге над сущностями выполняются операции, на внутреннюю структуру которых обращается мало внимания. Вместе с тем многие обычные операции состоят из более примитивных конструкций, соединенных посредством способа комбинирования. Взаимодействие конструкций осуществляется в среде «аппликативного взаимодействия», а изучение свойств этой среды позволяет понять природу вычислений.
В настоящей работе основное внимание уделено выяснению технологических особенностей вычислений с объектами. Их взаимодействие рассматривается в аппликативной среде, что позволяет выяснять внутреннюю структуру обычных операций, знание которой позволяет понять их свойства. Обсуждается выбор исходных константных сущностей, считающихся исходными и называемыми комбинаторами. Эти исходные сущности используются как основные «строительные блоки, вступающие в аппликативной среде во взаимодействие друг с другом. В результате взаимодействия возникают конструкции, дающие представительные наборы обычных операторов и погруженные вычислительные системы.

In everyday computing the entities are involved into operations whose inner structure is not paid much of attention. Nevertheless many of usual operations consist of more primitive constructs combined by a mode of combining. An interaction of constructs take place within environment of «applicative interaction» and studying the properties of this environment allows to get familiar with the nature of computations.
This paper pays main attention to knowing the technological features of computations with objects. Their interaction is assumed in applicative environment allowing to know the intrinsic structure of usual operations and this knowledge allows to know their properties in turn. The choice of primary constant entities is discussed and these entities are assumed as initial and are referred to as combinators. These primary entities are used as main "building blocks" participating in interaction each with other in the applicative environment. This interaction results in the constructs giving rise to the representative sets of usual operators and embedded computational systems.