Theoretical Foundations of Software Relativization in Technological Programming Systems

Authors

  • I. V. Redko National Technical University of Ukraine “Igor Sikorsky Kyiv Polytechnic Institute”
  • M. O. Zylevich National Technical University of Ukraine “Igor Sikorsky Kyiv Polytechnic Institute”

DOI:

https://doi.org/10.31649/1997-9266-2023-167-2-72-80

Keywords:

concept, monad, composite, composition, reduction, programming environment, oracle schemes

Abstract

The research claims the need for paradigmatic changes in the technological foundations of programming, which involve a transition from an individual-subjective programming paradigm to an intersubjective one. The proposed intersubjective paradigm is based on the understanding of programming as an activity conditioned by program likeness, and subject-oriented complementarity of its active and passive forms. To implement such a transition, the objectification of active-passive complementarity is considered, which is the main prerequisite for the real modernization of the understanding of programming as a reflexive-transitive closure of the programming analogy generated by the subject. The Determinant for the objectification of the active role of the subject in the context of technological programming environments is a concept — essence—simile, presented in the form of one or another specification. Passive constituent conditioning is objectified by similitude as a whole consequence of assimilation, namely by a program. To achieve this goal, a tool for logical-mathematical specifications of semantic-syntactic aspects of programming is proposed. This tool was tested on examples that demonstrated the general features of the application of the technological programming environment to the generation of subject-oriented technological programming systems and their use. In particular, the use of this tool allows to create more efficient technological programming systems that have higher quality and flexibility in performing tasks. The obtained results confirm the need for paradigmatic changes in the technological foundations of programming and are one of the possible options for solving the problem of paradigmatic changes and further technologization of programming, and also demonstrate the general features of the application of a technological programming environment for the generation of subject-oriented technological programming systems and their use.

Author Biographies

I. V. Redko, National Technical University of Ukraine “Igor Sikorsky Kyiv Polytechnic Institute”

Dr. Sc. (Phys.-Math.), Professor of the Chair of Electronic Computing Equipment

M. O. Zylevich, National Technical University of Ukraine “Igor Sikorsky Kyiv Polytechnic Institute”

Post-Graduate Student of the Chair of Electronic Computing Equipment

References

Д. Є. Кнут, Искусство программирования. Основные алгоритмы. М.: Вильямс, 2007.

І. В. Редько, и П. О. Яганов, «Концептуальна модель технологічного середовища програмування,» Наукові вісті КПІ, № 1, с. 18-26, 2020. https://doi.org/10.20535/kpi-sn.2020.1.197953 .

I. Redko, P. Yahanov, and M. Zylevich, “Concept-Monadic Model of Technological Environment of Programming,” 2020 IEEE 2nd International Conference on System Analysis & Intelligent Computing (SAIC), Kyiv, Ukraine, 2020, pp. 125-130, https://doi.org/10.1109/SAIC51296.2020.9239204 .

І. В Редько, П. О. Яганов, і М. О. Зилевіч, «Редукційне концептування оракульних схем,» Системні дослідження та інформаційні технології, № 1, с. 21-33, 2021. https://doi.org/10.20535/SRIT.2308-8893.2021.1.02 .

И. В. Редько, «Прагматические основания дескриптивных сред,» Проблемы программирования, № 3, с. 3-25, 2005.

Г. В. Лейбниц, Сочинения в 4-х томах. М.: Мысль, 1982.

В. Н. Редько, «Композиции программ и композиционное программирование,» Программирование, № 5, с. 3-24, 1978.

В. Н. Редько, «Дефиниторы и метод дефиниторного процессирования,» Кибернетика, № 6, с. 52-56, 1974.

И. А. Басараб, Н. С. Никитченко, и В. Н. Редько, Композиционные базы данных. К.: Лыбидь, 1992.

В. Н. Редько, «Основы програмологии,» Кибернетика и систем. анализ, № 1, с. 35-57, 2000.

В. Н. Редько, «Основы композиционного программирования,» Программирование, № 3, с. 3-13, 1979.

В. Н. Редько, Н. В. Гришко, и И. В. Редько, «Экспликативное программирование в среде логико-математических спецификаций,» УкрПРОГ98, с.71-76, 1998.

И. В. Редько, и Н. В. Гришко, «Экспликативное программирование в среде интеграции,» Проблемы программирования, № 2, с. 59-65, 2004.

D. I. Redko, I. V. Redko, P. O. Yahanov, and T. L. Zakharchenko, “Compositional basis in programmer activity,” Системні дослідження та інформаційні технології, № 4, с. 83-96, 2015.

А. И. Мальцев, Алгоритмы и рекурсивные функции. М.: Наука, 1965.

Д. Б. Буй, Примитивные программные алгебры. Киев, 1984.

A. Пуанкаре, О науке. М.: Наука, 1990.

Downloads

Abstract views: 82

Published

2023-05-04

How to Cite

[1]
I. V. Redko and M. O. Zylevich, “Theoretical Foundations of Software Relativization in Technological Programming Systems”, Вісник ВПІ, no. 2, pp. 72–80, May 2023.

Issue

No. 2 (2023)

Section

Information technologies and computer sciences

Metrics

Downloads

Download data is not yet available.

License

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

Authors who publish with this journal agree to the following terms:

  • Authors retain copyright and grant the journal right of first publication.
  • Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgment of its initial publication in this journal.
  • Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work (See The Effect of Open Access).