Reserves of syntactic design of programming systems

Article Sidebar

PDF (Русский)
Published: 15.03.2018
UDC 004.43
Issue
Vol. 21 No. 1 (2018)

Main Article Content

Лидия Васильевна Городняя
A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences, Novosibirsk State University, Novosibirsk

Abstract

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.

Article Details

Author Biography

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

Senior Researcher of A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences, Associate Professor of Novosibirsk State University, a specialist in system programming and educational informatics.

References

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


Presenting an article for publication in the Russian Digital Libraries Journal (RDLJ), the authors automatically give consent to grant a limited license to use the materials of the Kazan (Volga) Federal University (KFU) (of course, only if the article is accepted for publication). This means that KFU has the right to publish an article in the next issue of the journal (on the website or in printed form), as well as to reprint this article in the archives of RDLJ CDs or to include in a particular information system or database, produced by KFU.

All copyrighted materials are placed in RDLJ with the consent of the authors. In the event that any of the authors have objected to its publication of materials on this site, the material can be removed, subject to notification to the Editor in writing.

Documents published in RDLJ are protected by copyright and all rights are reserved by the authors. Authors independently monitor compliance with their rights to reproduce or translate their papers published in the journal. If the material is published in RDLJ, reprinted with permission by another publisher or translated into another language, a reference to the original publication.

By submitting an article for publication in RDLJ, authors should take into account that the publication on the Internet, on the one hand, provide unique opportunities for access to their content, but on the other hand, are a new form of information exchange in the global information society where authors and publishers is not always provided with protection against unauthorized copying or other use of materials protected by copyright.

RDLJ is copyrighted. When using materials from the log must indicate the URL: index.phtml page = elbib / rus / journal?. Any change, addition or editing of the author's text are not allowed. Copying individual fragments of articles from the journal is allowed for distribute, remix, adapt, and build upon article, even commercially, as long as they credit that article for the original creation.

Request for the right to reproduce or use any of the materials published in RDLJ should be addressed to the Editor-in-Chief A.M. Elizarov at the following address: amelizarov@gmail.com.

The publishers of RDLJ is not responsible for the view, set out in the published opinion articles.

We suggest the authors of articles downloaded from this page, sign it and send it to the journal publisher's address by e-mail scan copyright agreements on the transfer of non-exclusive rights to use the work.