Резервы синтаксического конструирования систем программирования

Лидия Васильевна Городняя

Аннотация


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

Ключевые слова


системы программирования; декомпозиция программ; реализационная прагматика; определение языков программирования

Полный текст:

PDF

Литература


Булычев Д.Ю., Вояковская Н.Н., Москаль А., Терехов А.А. Разработка компиляторов. URL: http://www.intuit.ru/studies/courses/26/26/info

http://clang.llvm.org/get_involved.html материалы по Clang – LLVM

Ахо А.В., Хопкрофт Дж.Э., Ульман Дж.Д. Структуры данных и алгорит-мы. М.: Вильямс, 2000.384 с.

Городняя Л.В. Парадигмы программирования: анализ и сравнение. Сиб. Отделение Рос. Акад. наук, Ин-т систем информатики им. А.П. Ершова. Новосибирск: Изд-во СО РАН, 2017. 232 с.

Лавров С.С. Методы задания семантики языков программирования// Программирование. 1978. № 6. С. 3–10.

Зуев Е. История разработки компилятора Си++ по заказу иностранной фирмы в раннее постсоветское время. URL: http: //www.gramotey.com/? Open_file=1269097005

Фуксман А.Л. Технические аспекты создания программных систем. М.: Статистика, 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.

Оллонгрен А. Определение языков программирования интерпретирую-щими автоматами. М.: Мир, 1977. 288 с.

Хендерсон П. Функциональное программирование. М.: Мир, 1983. 349 с.

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.

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/

Taha W. Domain-Specific Languages. Houston. 2009. URL: http://www. ef-fective-modeling.org/p/walid-taha.html

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.

Котов В.Е. МАРС: архитектура и языки для реализации параллелизма // Системная информатика. Вып. 1. Проблемы современного программирова-ния. – Новосибирск: Наука. Сиб. отделение, 1991. С. 174–194.

Крайнева И.А., Марчук А.Г. Игорь Васильевич Поттосин. Из истории новосибирской школы программирования (к 80-летию со дня рождения) //Вестник НГУ. Серия: математика, механика, информатика. 2013. №1. С. 2–12.

Крайнева И.А., Черемных Н.А. Альфа-язык и транслятор // Открытые системы. 2014. №6. URL: http://www.novsu.ru/file/867726. – Открытые системы. СУБД 2016 № 01