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

Article Sidebar

PDF
Опубликован: 15.03.2018
УДК 004.43
Выпуск
Том 21 № 1 (2018)

Main Article Content

Лидия Васильевна Городняя
Институт систем информатики им. А.П. Ершова Сибирского отделения Российской академии наук, Новосибирский государственный университет, г. Новосибирск

Аннотация

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

Article Details

Биография автора

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

Старший научный сотрудник Института систем информатики имени акад. Андрея Петрович Ершова СО РАН, доцент Новосибирского государственного университета, специалист в области системного программирования и образовательной информатики.

Библиографические ссылки

1. Булычев Д.Ю., Вояковская Н.Н., Москаль А., Терехов А.А. Разработка компиляторов. URL: http://www.intuit.ru/studies/courses/26/26/info
2. http://clang.llvm.org/get_involved.html материалы по Clang – LLVM
3. Ахо А.В., Хопкрофт Дж.Э., Ульман Дж.Д. Структуры данных и алгорит-мы. М.: Вильямс, 2000.384 с.
4. Городняя Л.В. Парадигмы программирования: анализ и сравнение. Сиб. Отделение Рос. Акад. наук, Ин-т систем информатики им. А.П. Ершова. Новосибирск: Изд-во СО РАН, 2017. 232 с.
5. Лавров С.С. Методы задания семантики языков программирования// Программирование. 1978. № 6. С. 3–10.
6. Зуев Е. История разработки компилятора Си++ по заказу иностранной фирмы в раннее постсоветское время. URL: http: //www.gramotey.com/? Open_file=1269097005
7. Фуксман А.Л. Технические аспекты создания программных систем. М.: Статистика, 1979. 180 с.
8. Lucas P., Lauer P., Stigleitner H. Method and Notation for the Formal Defini-tion of Programming Languges. IBM Laboratory – Venna, TR 25.087, 1968.
9. Оллонгрен А. Определение языков программирования интерпретирую-щими автоматами. М.: Мир, 1977. 288 с.
10. Хендерсон П. Функциональное программирование. М.: Мир, 1983. 349 с.
11. McCarthy J. LISP 1.5 Programming Mannual. The MIT Press, Cambridge, 1963. 106 p.
12. 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.
13. Mernik M. Formal and Practical Aspects of Domain-Specific Languages. IGI Global, 2012.
14. 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/
15. Taha W. Domain-Specific Languages. Houston. 2009. URL: http://www. ef-fective-modeling.org/p/walid-taha.html
16. JetBrains, Metaprogramming System MPS. URL: https://www.jetbrains. com/mps/
17. 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.
18. Котов В.Е. МАРС: архитектура и языки для реализации параллелизма // Системная информатика. Вып. 1. Проблемы современного программирова-ния. – Новосибирск: Наука. Сиб. отделение, 1991. С. 174–194.
19. Крайнева И.А., Марчук А.Г. Игорь Васильевич Поттосин. Из истории новосибирской школы программирования (к 80-летию со дня рождения) //Вестник НГУ. Серия: математика, механика, информатика. 2013. №1. С. 2–12.
20. Крайнева И.А., Черемных Н.А. Альфа-язык и транслятор // Открытые системы. 2014. №6. URL: http://www.novsu.ru/file/867726. – Открытые системы. СУБД 2016 № 01


Представляя статьи для публикации в журнале «Электронные библиотеки», авторы автоматически дают согласие предоставить ограниченную лицензию на использование материалов Казанскому (Приволжскому) федеральному университету (КФУ) (разумеется, лишь в том случае, если статья будет принята к публикации). Это означает, что КФУ имеет право опубликовать статью в ближайшем выпуске журнала (на веб-сайте или в печатной форме), а также переиздавать эту статью на архивных компакт-дисках журнала или включить в ту или иную информационную систему или базу данных, производимую КФУ.

Все авторские материалы размещены в журнале «Электронные библиотеки» с ведома авторов. В случае, если у кого-либо из авторов есть возражения против публикации его материалов на данном сайте, материал может быть снят при условии уведомления редакции журнала в письменной форме.

Документы, изданные в журнале «Электронные библиотеки», защищены законодательством об авторских правах, и все авторские права сохраняются за авторами. Авторы самостоятельно следят за соблюдением своих прав на воспроизводство или перевод их работ, опубликованных в журнале. Если материал, опубликованный в журнале «Электронные библиотеки», с разрешения автора переиздается другим издателем или переводится на другой язык, то ссылка на оригинальную публикацию обязательна.

Передавая статьи для опубликования в журнале «Электронные библиотеки», авторы должны принимать в расчет, что публикации в интернете, с одной стороны, предоставляют уникальные возможности доступа к их материалам, но, с другой, являются новой формой обмена информацией в глобальном информационном обществе, где авторы и издатели пока не всегда обеспечены защитой от неправомочного копирования или иного использования материалов, защищенных авторским правом.

При использовании материалов из журнала обязательна ссылка на URL: http://rdl-journal.ru. Любые изменения, дополнения или редактирования авторского текста недопустимы. Копирование отдельных фрагментов статей из журнала разрешается для научных исследований, персонального использования, коммерческого использования до тех пор, пока есть ссылка на оригинальную статью.

Запросы на право переиздания или использования любых материалов, опубликованных в журнале «Электронные библиотеки», следует направлять главному редактору Елизарову А.М. по адресу: amelizarov@gmail.com

Издатели журнала «Электронные библиотеки» не несут ответственности за точки зрения, излагаемые в публикуемых авторских статьях.

Предлагаем авторам статей загрузить с этой страницы, подписать и выслать в адрес издателя журнала по электронной почте скан Авторского договора о передаче неисключительных прав на использование произведения.

Наиболее читаемые статьи этого автора (авторов)