intechnguВестник НГУ. Серия: Информационные технологииVestnik NSU. Series: Information Technologies1818-79002410-0420НГУ10.25205/1818-7900-2021-19-2-29-52intechngu-161Research ArticleСтатьиВизуализация результатов анализа языков программирования для их поверхностного сравненияVisualization of the Results of the Analysis of Programming Languages for Their Superficial ComparisonГородняяЛ. В.GorodnyayaL. V.

Городняя Лидия Васильевна - кандидат физико-математических наук, доцент ММФ, НГУ, ИСИ СО РАН.

Новосибирск.

Lydia V. Gorodnyaya - Candidate of Sciences (Physics and Mathematics), Associate Professor of the MMF, Novosibirsk State University, A.P. Ershov Institute of Informatics Systems SB RAS.

Novosibirsk.

lidvas@gmail.comНовосибирский государственный университет; Институт систем информатики им. А.П. Ершова СО РАНРоссияNovosibirsk State University; A.P. Ershov Institute of Informatics Systems SB RASRussian Federation2021200720211922952Copyright © Городняя Л.В., 20212021Городняя Л.В.Gorodnyaya L.V.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://intechngu.elpub.ru/jour/article/view/161

Статья посвящена выбору наглядной и лаконичной формы для представления результатов анализа и сравнения языков программирования, удобной для оценки выразительной силы языков и трудоемкости реализации систем программирования. Формализация приспособлена к парадигмальному анализу определений языков программирования и выбору практичных критериев декомпозиции программ. В качестве основного подхода выбрана семантическая декомпозиция определений языков в рамках анализа парадигм программирования. Такой выбор позволяет выделять автономно развиваемые типовые компоненты программ, которые могут быть приспособлены к конструированию различных информационных систем. Многие работы по методам разработки программных систем зависят от практичности подходов к декомпозиции программ, отлаживаемых с помощью систем программирования. Решение этой проблемы полезно при изучении методов программирования, исследовании истории языков программирования, для сравнения парадигм программирования, потенциала используемых схем и моделей, оценки уровня новизны создаваемых языков программирования, а также при выборе критериев декомпозиции программ. Кроме того, определенность критериев позволяет формировать методику обучения разработке компонентов информационных систем. Попутно показана дистанция в понятийной сложности между программированием и разработкой систем программирования.

The article is devoted to the choice of a clear and concise form for presenting the results of analise and comparing programming languages and systems, convenient for assessing the expressive power of languages and the complexity of implementing systems. The formalization is adapted to the paradigm analysis of the definitions of programming languages and the selection of practical criteria for decomposition of programs. The semantic decomposition of the definitions of languages and systems as part of the analysis of programming paradigms was chosen as the main ap-proach. Such a choice makes it possible to single out autonomously developed typical program components that can be adapted to the design of various information systems. Many works on methods for developing software systems depend on the practicality of approaches to decomposition of programs debugged using programming systems. The solution to this problem is useful when studying programming methods, studying the history of programming languages, for comparing programming paradigms, the potential of used circuits and models, assessing the novelty level of created programming languages, and also when choosing criteria for program decomposition. In addition, their existence allows us to form a teaching methodology for developing the components of information systems. Along the way, the distance in conceptual complexity between programming and programming system development is shown.

определение языков программированияпарадигмы программированиядекомпозиция программкритерии декомпозициисемантические системыdefinition of programming languagesprogramming paradigmsprogram decompositiondecomposition criteriasemantic systemsРабота выполнена при поддержке РФФИ, проект № 18-07-01048-аThe study was funded by RFBR according to the research project no. 18-07-01048-аReferencesБолски М. И. Язык программирования Си. Справочник: Пер. с англ. М.: Радио и связь, 1988. 96 с.: ил. ISBN 5-256-00171-XBolsky M. I. The C programming language. Reference book: Trans. from English. Moscow, Radio and Communication, 1988, 96 p.: ill. (in Russ.) ISBN 5-256-00171-XВирт Н. От Модулы к Оберону // Системная информатика. Новосибирск: Наука, 1991. Вып. 1: Проблемы современого программирования. С. 63-75.Wirth N. From Modula to Oberon. In: System Informatics. Novosibirsk, Nauka, 1991, iss. 1: Problems of modern programming, p. 63-75. (in Russ.)Городняя Л. В. О представлении результатов анализа языков и систем программирования // Научный сервис в сети Интернет: Тр. XX Всерос. науч. конф. (17-22 сентября 2018 г., Новороссийск). М.: ИПМ им. М. В. Келдыша, 2018.Gorodnya L. V. On the presentation of the results of the analysis of programming languages and systems. In: Scientific service on the Internet: proceedings of the XX All-Russian Scientific Conference (September 17-22, 2018, Novorossiysk). Moscow, IPM named after M. V. Keldysh, 2018. (in Russ.)Городняя Л. В. Систематизация парадигм программирования по приоритетам принятия решений // Электронные библиотеки. 2020. Т. 23, № 4: Тематический выпуск «Научный сервис в сети Интернет», ч. 2. С. 666-696. URL: https://elbib.ru/article/view/616/711Gorodnyaya L. V. Cystematizatsiz paradigms of programming by priorities of decision-making. Electronic libraries, 2020, vol. 23, no. 4: Thematic issue “Scientific service on the Internet”, part 2, p. 666-696. (in Russ.) URL: https://elbib.ru/article/view/616/711Колмогоров А. Н. Три подхода к определению понятия «количество информации» // Проблемы передачи информации. 1965. № 1 (1). С. 3-11.Kolmogorov A. N. Three approaches to the definition of the concept of “quantity of information”. Problems of information transmission, 1965, no. 1 (1), p. 3-11. (in Russ.)Котов В. Е. МАРС: архитектуры и языки для реализации параллелизма // Системная информатика. Новосибирск: Наука, 1991. Вып. 1: Проблемы современного программирования. С. 174-194.Kotov V. E. MARS: Architectures and languages for implementing concurrency. In: System Informatics. Novosibirsk, Nauka, 1991, iss. 1: Problems of modern programming, p. 174-194. (in Russ.)Лавров С. С. Методы задания семантики языков программирования // Программирование. 1978. № 6. С. 3-10.Lavrov S. S. Metody zadachi semantiki yazykov programmirovaniya [Methods of setting the semantics of programming languages]. Programmirovanie, 1978, no. 6, p. 3-10. (in Russ.)Мальцев А. И. Алгоритмы и рекурсивные функции. М.: Наука, 1965. 392 с.Maltsev A. I. Algorithms and recursive functions. Moscow, Nauka, 1965, 392 p. (in Russ.)Хендерсон П. Функциональное программирование. М.: Мир, 1983. 349 с.Henderson P. Functional programming. Moscow, Mir, 1983, 349 p. (in Russ.)Wegner P. Concepts and paradigms of object-oriented programming. SIGPLAN OOPS Mess., 1990, vol. 1, no. 1, p. 7-87. DOI 10.1145Wegner P. Concepts and paradigms of object-oriented programming. SIGPLAN OOPS Mess., 1990, vol. 1, no. 1, p. 7-87. DOI 10.1145

The authors declare that there are no conflicts of interest present.