Publication:
The applicative approach to the synthesis of a data structure with the given combinatory characteristic

Дата
2023
Авторы
Ismailova, L.
Wolfengagen, V.
Kosikov, S.
Andronov, S. I.
Journal Title
Journal ISSN
Volume Title
Издатель
Научные группы
Организационные подразделения
OrgUnit Logo
Организационная единица
Институт интеллектуальных кибернетических систем
Цель ИИКС и стратегия развития - это подготовка кадров, способных противостоять современным угрозам и вызовам, обладающих знаниями и компетенциями в области кибернетики, информационной и финансовой безопасности для решения задач разработки базового программного обеспечения, повышения защищенности критически важных информационных систем и противодействия отмыванию денег, полученных преступным путем, и финансированию терроризма.
Выпуск журнала
Аннотация
The paper shows that the use of a composition of objects representing a data structure, in fact, means the creation of a kind of information channels on their basis, along which the computation process spreads. In the case of applying the applicative computational technology, the computation process is started by means of the operation of applying the function object to the argument object. Two ways are presented to generate function objects — to use either lambda expressions or combinators to represent them. The first method uses an abstraction meta-operator and associated variables, which leads to the use of substitution systems with the potential for side effects. In the second method, only constant combinator objects participate in the construction of the function, and their application to the argument triggers a conversion based on rewriting rules, which does not cause a side effect. A practical solution to the problem of synthesizing a compositional data structure can be mixed, when both lambda terms and combinators are involved in the computations, which reduces the length of expressions. As a result, a data structure appears, which is composed of compositions of argument objects, equipped with a generated set of supporting function objects. © 2022 Elsevier B.V.
Описание
Ключевые слова
Applicative computing technology , Cognitive activity , Data structure synthesis , Lambda calculus , Theory of combinators , Virtual objects
Цитирование
The applicative approach to the synthesis of a data structure with the given combinatory characteristic / Ismailova, L. [et al.] // Cognitive Systems Research. - 2023. - 77. - P. 88-93. - 10.1016/j.cogsys.2022.10.010
URI
https://www.doi.org/10.1016/j.cogsys.2022.10.010
 https://www.scopus.com/record/display.uri?eid=2-s2.0-85141495585&origin=resultslist
 http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=Alerting&SrcApp=Alerting&DestApp=WOS_CPL&DestLinkType=FullRecord&UT=WOS:000898093400001
 https://openrepository.mephi.ru/handle/123456789/29867
Коллекции
Публикации