ellibsЭлектронные библиотекиRussian Digital Libraries Journal1562-5419Казанский (Приволжский) федеральный университетellibs-70Research ArticleСтатьиРезервы синтаксического конструирования систем программированияReserves of syntactic design of programming systemsГородняяЛ. В.lidvas@gmail.comИнститут систем информатики им. А.П. Ершова Сибирского отделения Российской академии наукRussian Federation2018280220182114361Copyright © Городняя Л.В., 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/70

Работа посвящена анализу возможностей использования современного потенциала информационных технологий при решении задач обработки больших и сложных данных на примере текстов программ и определений языков программирования. Рассмотрена проблема совершенствования современных систем программирования и создания новых языков программирования, нацеленных на эффективное решение задач разработки надёжных и удобных информационных систем.

The report is devoted to the analysis of the possibilities of using the modern IT potential in solving problems of processing large and complex data by the example of program texts and definitions of programming languages. The problem of improving modern programming systems and creating new programming languages aimed at efficiently solving problems of developing reliable and convenient information systems is considered.

системы программированиядекомпозиция программреализационная прагматикаопределение языков программированияprogramming systemsprogram decompositionimplementation pragmaticsdefinition of programming languagesReferencesБулычев Д.Ю., Вояковская Н.Н., Москаль А., Терехов А.А. Разработка компиляторов. URL: http://www.intuit.ru/studies/courses/26/26/infoБулычев Д.Ю., Вояковская Н.Н., Москаль А., Терехов А.А. Разработка компиляторов. URL: http://www.intuit.ru/studies/courses/26/26/infohttp://clang.llvm.org/get_involved.html материалы по Clang – LLVMhttp://clang.llvm.org/get_involved.html материалы по Clang – LLVMАхо А.В., Хопкрофт Дж.Э., Ульман Дж.Д. Структуры данных и алгорит-мы. М.: Вильямс, 2000.384 с.Ахо А.В., Хопкрофт Дж.Э., Ульман Дж.Д. Структуры данных и алгорит-мы. М.: Вильямс, 2000.384 с.Городняя Л.В. Парадигмы программирования: анализ и сравнение. Сиб. Отделение Рос. Акад. наук, Ин-т систем информатики им. А.П. Ершова. Новосибирск: Изд-во СО РАН, 2017. 232 с.Городняя Л.В. Парадигмы программирования: анализ и сравнение. Сиб. Отделение Рос. Акад. наук, Ин-т систем информатики им. А.П. Ершова. Новосибирск: Изд-во СО РАН, 2017. 232 с.Лавров С.С. Методы задания семантики языков программирования// Программирование. 1978. № 6. С. 3–10.Лавров С.С. Методы задания семантики языков программирования// Программирование. 1978. № 6. С. 3–10.Зуев Е. История разработки компилятора Си++ по заказу иностранной фирмы в раннее постсоветское время. URL: http: //www.gramotey.com/? Open_file=1269097005Зуев Е. История разработки компилятора Си++ по заказу иностранной фирмы в раннее постсоветское время. URL: http: //www.gramotey.com/? Open_file=1269097005Фуксман А.Л. Технические аспекты создания программных систем. М.: Статистика, 1979. 180 с.Фуксман А.Л. Технические аспекты создания программных систем. М.: Статистика, 1979. 180 с.Lucas P., Lauer P., Stigleitner H. Method and Notation for the Formal Defini-tion of Programming Languges. IBM Laboratory – Venna, TR 25.087, 1968.Lucas P., Lauer P., Stigleitner H. Method and Notation for the Formal Defini-tion of Programming Languges. IBM Laboratory – Venna, TR 25.087, 1968.Оллонгрен А. Определение языков программирования интерпретирую-щими автоматами. М.: Мир, 1977. 288 с.Оллонгрен А. Определение языков программирования интерпретирую-щими автоматами. М.: Мир, 1977. 288 с.Хендерсон П. Функциональное программирование. М.: Мир, 1983. 349 с.Хендерсон П. Функциональное программирование. М.: Мир, 1983. 349 с.McCarthy J. LISP 1.5 Programming Mannual. The MIT Press, Cambridge, 1963. 106 p.McCarthy J. LISP 1.5 Programming Mannual. The MIT Press, Cambridge, 1963. 106 p.Baar T. Verification Support for a State-Transition-DSL Defined with Xtext. Perspectives of System Informatics – 10th Int. Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24–27, 2015, Revised Selected Papers. Lecture Notes in Computer Science 9609, Springer 2016. P. 50–60.Baar T. Verification Support for a State-Transition-DSL Defined with Xtext. Perspectives of System Informatics – 10th Int. Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24–27, 2015, Revised Selected Papers. Lecture Notes in Computer Science 9609, Springer 2016. P. 50–60.Mernik M. Formal and Practical Aspects of Domain-Specific Languages. IGI Global, 2012.Mernik M. Formal and Practical Aspects of Domain-Specific Languages. IGI Global, 2012.Voelter M. DSL Engineering: Designing, Implementing and Using Domain-Specific Languages, 2013. URL: http://voelter.de/dslbook/markusvoelter-dslengineering-1.0.pdf, http://dslbook.org/Voelter M. DSL Engineering: Designing, Implementing and Using Domain-Specific Languages, 2013. URL: http://voelter.de/dslbook/markusvoelter-dslengineering-1.0.pdf, http://dslbook.org/Taha W. Domain-Specific Languages. Houston. 2009. URL: http://www. ef-fective-modeling.org/p/walid-taha.htmlTaha W. Domain-Specific Languages. Houston. 2009. URL: http://www. ef-fective-modeling.org/p/walid-taha.htmlJetBrains, Metaprogramming System MPS. URL: https://www.jetbrains. com/mps/JetBrains, Metaprogramming System MPS. URL: https://www.jetbrains. com/mps/Knoop J. Compiler Construction. 20th Int. Conference, CC 2011. Held as Part of the Joint European Conferences on Theory and Practice of Software, Lecture Notes in Computer Sciences, 6601. ETAPS 2011 Saarbrcken, Germany, March 26 – April 3, 2011. Springer, 330 p.Knoop J. Compiler Construction. 20th Int. Conference, CC 2011. Held as Part of the Joint European Conferences on Theory and Practice of Software, Lecture Notes in Computer Sciences, 6601. ETAPS 2011 Saarbrcken, Germany, March 26 – April 3, 2011. Springer, 330 p.Котов В.Е. МАРС: архитектура и языки для реализации параллелизма // Системная информатика. Вып. 1. Проблемы современного программирова-ния. – Новосибирск: Наука. Сиб. отделение, 1991. С. 174–194.Котов В.Е. МАРС: архитектура и языки для реализации параллелизма // Системная информатика. Вып. 1. Проблемы современного программирова-ния. – Новосибирск: Наука. Сиб. отделение, 1991. С. 174–194.Крайнева И.А., Марчук А.Г. Игорь Васильевич Поттосин. Из истории новосибирской школы программирования (к 80-летию со дня рождения) //Вестник НГУ. Серия: математика, механика, информатика. 2013. №1. С. 2–12.Крайнева И.А., Марчук А.Г. Игорь Васильевич Поттосин. Из истории новосибирской школы программирования (к 80-летию со дня рождения) //Вестник НГУ. Серия: математика, механика, информатика. 2013. №1. С. 2–12.Крайнева И.А., Черемных Н.А. Альфа-язык и транслятор // Открытые системы. 2014. №6. URL: http://www.novsu.ru/file/867726. – Открытые системы. СУБД 2016 № 01Крайнева И.А., Черемных Н.А. Альфа-язык и транслятор // Открытые системы. 2014. №6. URL: http://www.novsu.ru/file/867726. – Открытые системы. СУБД 2016 № 01

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