ellibsЭлектронные библиотекиRussian Digital Libraries Journal1562-5419Казанский (Приволжский) федеральный университетellibs-98Research ArticleСтатьиФормы представления результатов парадигмального анализа языков программированияForms of representation of results of paradigmal analysis of programming languagesГородняяЛ. В.lidvas@gmail.comИнститут систем информатики им. А.П. Ершова Сибирского отделения Российской академии наукRussian Federation201828122018216472493Copyright © Городняя Л.В., 20182018Городняя Л.В.Городняя Л.В.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://ellibs.elpub.ru/jour/article/view/98

Цель статьи – выбор представления результатов сравнения языков программирования, удобного для оценки выразительной силы языков и трудоёмкости реализации систем программирования. Формы такого представления должны быть приспособлены к обоснованию практичных критериев декомпозиции программ, что можно рассматривать как подход к решению проблемы факторизации весьма усложнённых определений языков программирования. Актуальность выбора лаконичных и быстро воспринимаемых форм полезен для работы в стремительно развивающемся пространстве новых проблемно-ориентирован-ных языков программирования. Попутно можно показывать дистанцию в понятийной сложности между программированием и разработкой систем программирования.

The purpose of the article is the choice of presenting the results of a comparison of programming languages, convenient for assessing the expressive power of languages and the complexity of the implementation of programming systems. Forms of such a presentation should be adapted to substantiate practical criteria for program decomposition, which can be viewed as an approach to solving the problem of factorization of very sophisticated definitions of programming languages. The relevance of choosing concise and quickly perceived forms is useful for working in the rapidly developing space of new problem-oriented programming languages. Along the way, you can show the distance in the conceptual complexity between programming and the development of programming systems.

системы программированиядекомпозиция программреализационная прагматикапарадигмы программированиякритерии декомпозициисемантические системыопределение языков программированияprogramming systemsprogram decompositiondecomposition criteriasemantic systemsimplementation pragmaticsprogramming paradigmsdefinition of programming languagesReferenceshttp://http://www.sorucom.org/ – сайт Международной конференции «Развитие вычислительной техники и ее программного обеспечения в России и странах бывшего СССР: история и перспективы».http://http://www.sorucom.org/ – сайт Международной конференции «Развитие вычислительной техники и ее программного обеспечения в России и странах бывшего СССР: история и перспективы».https://www.levenez.com/lang/ – сайт "Computer Languages History".https://www.levenez.com/lang/ – сайт "Computer Languages History".http://progopedia.ru/ – сайт «Энциклопедия языков программирования».http://progopedia.ru/ – сайт «Энциклопедия языков программирования».Городняя Л.В. Парадигмы программирования: анализ и сравнение. Сиб. Отделение Рос. Акад. наук, Ин-т систем информатики им. А.П. Ершова. Новосибирск: Изд-во СО РАН, 2017. 232 с.Городняя Л.В. Парадигмы программирования: анализ и сравнение. Сиб. Отделение Рос. Акад. наук, Ин-т систем информатики им. А.П. Ершова. Новосибирск: Изд-во СО РАН, 2017. 232 с.Лавров С.С. Методы задания семантики языков программирования// Программирование. 1978. № 6. С. 3–10.Лавров С.С. Методы задания семантики языков программирования// Программирование. 1978. № 6. С. 3–10.Котов В.Е. МАРС: архитектура и языки для реализации параллелизма // Системная информатика. Вып. 1. Проблемы современного программирования. – Новосибирск: Наука. Сиб. отделение, 1991. С. 174–194.Котов В.Е. МАРС: архитектура и языки для реализации параллелизма // Системная информатика. Вып. 1. Проблемы современного программирования. – Новосибирск: Наука. Сиб. отделение, 1991. С. 174–194.Хендерсон П. Функциональное программирование. М.: Мир, 1983. 349 с.Хендерсон П. Функциональное программирование. М.: Мир, 1983. 349 с.Вирт Н. От Модулы к Оберону // Системная информатика. Вып 1. Проблемы современного программирования. Новосибирск: Наука. Сиб. отделение, 1991. С. 63–75.Вирт Н. От Модулы к Оберону // Системная информатика. Вып 1. Проблемы современного программирования. Новосибирск: Наука. Сиб. отделение, 1991. С. 63–75.Городняя Л.В. Резервы синтаксически ориентированного конструирования систем программирования. //Научный сервис в сети Интернет: труды XIX Всероссийской научной конференции (18–23 сентября 2017 г., г. Новороссийск). М.: ИПМ им. М.В. Келдыша, 2017. С. 120–129. URL: http://keldysh.ru/abrau/2017/ proc.pdfГородняя Л.В. Резервы синтаксически ориентированного конструирования систем программирования. //Научный сервис в сети Интернет: труды XIX Всероссийской научной конференции (18–23 сентября 2017 г., г. Новороссийск). М.: ИПМ им. М.В. Келдыша, 2017. С. 120–129. URL: http://keldysh.ru/abrau/2017/ proc.pdfКолмогоров А.Н. Три подхода к определению понятия «количество информации»// Проблемы передачи информации. 1965. № 1 (1). С. 3–11.Колмогоров А.Н. Три подхода к определению понятия «количество информации»// Проблемы передачи информации. 1965. № 1 (1). С. 3–11.Фуксман А.Л. Технические аспекты создания программных систем. М.: Статистика, 1979. 180 с.Фуксман А.Л. Технические аспекты создания программных систем. М.: Статистика, 1979. 180 с.Koster Cornelis H.A. Compiler Description Language. CDL3 manual. The Netherlands, August 18, 2004. http://www.cs.ru.nl/cdl3/cdl3.pdfKoster Cornelis H.A. Compiler Description Language. CDL3 manual. The Netherlands, August 18, 2004. http://www.cs.ru.nl/cdl3/cdl3.pdfWulf W.A., Russel D.B., Habermann A.N. BLISS: A Language for Systems Programming// CACM. 1971. V. 14. No 12. P. 780–790.Wulf W.A., Russel D.B., Habermann A.N. BLISS: A Language for Systems Programming// CACM. 1971. V. 14. No 12. P. 780–790.Гололобов В.И., Чеблаков Б.Г., Чинин Г.Д. Описание языка ЯРМО. Новосибирск. Препринты No 247, 248 ВЦ АН СССР, Сибирское отделение.Гололобов В.И., Чеблаков Б.Г., Чинин Г.Д. Описание языка ЯРМО. Новосибирск. Препринты No 247, 248 ВЦ АН СССР, Сибирское отделение.

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