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

Простая страница элемента
dc.contributor.authorIsmailova, L.
dc.contributor.authorWolfengagen, V.
dc.contributor.authorKosikov, S.
dc.contributor.authorAndronov, S. I.
dc.contributor.authorИсмаилова, Лариса Юсифовна
dc.contributor.authorВольфенгаген, Вячеслав Эрнстович
dc.date.accessioned2024-12-28T08:03:24Z
dc.date.available2024-12-28T08:03:24Z
dc.date.issued2023
dc.description.abstractThe 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.
dc.format.extentС. 88-93
dc.identifier.citationThe 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
dc.identifier.doi10.1016/j.cogsys.2022.10.010
dc.identifier.urihttps://www.doi.org/10.1016/j.cogsys.2022.10.010
dc.identifier.urihttps://www.scopus.com/record/display.uri?eid=2-s2.0-85141495585&origin=resultslist
dc.identifier.urihttp://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=Alerting&SrcApp=Alerting&DestApp=WOS_CPL&DestLinkType=FullRecord&UT=WOS:000898093400001
dc.identifier.urihttps://openrepository.mephi.ru/handle/123456789/29867
dc.relation.ispartofCognitive Systems Research
dc.subjectApplicative computing technology
dc.subjectCognitive activity
dc.subjectData structure synthesis
dc.subjectLambda calculus
dc.subjectTheory of combinators
dc.subjectVirtual objects
dc.titleThe applicative approach to the synthesis of a data structure with the given combinatory characteristic
dc.typeArticle
dspace.entity.typePublication
oaire.citation.volume77
relation.isAuthorOfPublication5d4d81d1-001d-4284-b6d7-0285bcf446fe
relation.isAuthorOfPublication23f144a8-cfa0-4c80-b566-1c175c9afbb1
relation.isAuthorOfPublication.latestForDiscovery5d4d81d1-001d-4284-b6d7-0285bcf446fe
relation.isOrgUnitOfPublication010157d0-1f75-46b2-ab5b-712e3424b4f5
relation.isOrgUnitOfPublication.latestForDiscovery010157d0-1f75-46b2-ab5b-712e3424b4f5
Файлы
Коллекции
Публикации