Инструментальные средства в языковых IT-технологиях

Бесплатный доступ

В статье представлен перечень инструментальных средств, разработанных или находящихся в процессе разработки, используемых в системах программирования в лабораториях и на кафедрах СПбГУ. Перечислены основные технологии, применяемые при разработке инструментальных платформ для современных систем реализации языков программирования, которые сведены в таблицы. Приведены примеры правил грамматик для инструментальных систем CDL, Форт, ANTLR и образцы автоматически получаемого кода для инструмента PEG in R UST и интегрированной среды разработки JetBrains Grammar-Kit. Более подробно рассмотрена инструментальная система SynGT эквивалентных преобразований правил контекстно-свободных грамматик с целью их регуляризации. В таблицах даны характеристики тех инструментальных систем, которые находятся в открытом доступе и распространяются бесплатно. С момента освещаемой ситуации минуло 30 лет. Тем не менее, читатель наверняка найдет полезным эту навигационную схему, дающую ключ к изучению деятельности различных групп разработчиков в области программирования как в России, так и за рубежом.

Еще

Построения трансляторов, предметно-ориентированные языки, контекстно-свободные грамматики в регулярной форме

Короткий адрес: https://sciup.org/148323730

IDR: 148323730   |   DOI: 10.18101/2304-5728-2021-4-3-18

Список литературы Инструментальные средства в языковых IT-технологиях

  • Handbook of Formal Languages, Vol. 2. In: Rozenberg, G., Salomaa, A. (eds.). Springer-Verlag, Berlin, New York, 1997. 527 p.
  • Федорченко Л. Н. Регуляризация контекстно-свободных грамматик. LAP LAMBERT Academic Publishing GmbH & Co. KG Dudweiler Landstr. 99, 66123 Saarbrucken, Germany, 2011. 180 с. ISBN: 978-3-8443-5360-0
  • Novikov F., Fedorchenko L., Vorobiev V., Fatkieva R., Levonevskiy D. Attribute-based Approach of Defining the Secure Behavior of Automata Objects // Proceedings of the 10th International Conference on Security of Information and Networks (SIN'17). ACM, NY, USA, 2017. P. 67-72. https://doi.org/10.1145/3136825.3136887
  • Fedorchenko L., Baranov S. Equivalent Transformations and Regularization in Context-Free Grammars // Bulgarian Academy of Sciences. Cybernetics and Information Technologies (CIT). Sofia, 2015. №4(14). P. 11-28.
  • Chien-Yu Lu, Fei-Hsu Chen, Wen-Chiung Hsu, Yu-Qiang Yang, Te-Jen Su. Constructing Home Monitoring System with Node-RED // Sensors and Materials, 2020. Vol. 32. P. 1701-1710.
  • Terence Parr, Kathleen Fisher. LL(*): The Foundation of the ANTLR Parser Generator // Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). 2011. P. 425-436.
  • Guido van Rossum, Pablo Galindo, Lysandros Nikolaou. New PEG parser for CPy-thon. https ://www.python.org/dev/peps/pep-0617
  • Kevin Mehall. Parsing Expression Grammars in Rust. https ://github. com/kevinmehall/rust-peg
  • Koster Affix Grammars // Algol 68 Implementation: Proceedings of the IFIP Working Conference on ALGOL 68 Implementation, Munich, July 20-24, 1970 (ed. by J. E. L. Peck) / Library of Congress Catalog Card Number: 79-146198. P. 95-111. ISBN: 0720420458
  • Sam Harwell, Kathleen Fisher. Adaptive LL(*) Parsing: The Power of Dynamic Analysis // OOPSLA 2014. P. 579-598. https://doi.org/10.1145/2660193.2660202
  • John Levine. Flex & Bison. O'Reilly Media, Inc.,2009. 292 p.
  • David Piepgrass. LLLPG. https://ecsharp.net/lllpg
  • Robert W. Gray, Steven P. Levi, Vincent P. Heuring, Anthony M. Sloane, William M. Waite. Eli: a Complete, Flexible Compiler Construction System // Commun. ACM. 1992. № 2(35). P. 121-130.
  • Баранов С. Н., Ноздрунов Н. Р. Язык Форт и его реализации. М.: Машиностроение, 1988. 157 с.
  • Greg Shrago. Grammar-Kit. https://github.com/JetBrains/Grammar-Kit
  • Kumar Selvaperumal, Waleed Al-Gumaei, Raed Abdulla, Vinesh Thiruchelvam. Integrated Wireless Monitoring System Using LoRa and Node-Red for University Building // Journal of Computational and Theoretical Nanoscience. 2019. №8(16). P. 3384-3394.
  • Cornelis H. A. Koster et al. CDL3 manual. 2004. https://www.cs.ru.nl/cdl3/cdl3.pdf
  • Архитектура среды визуального моделирования QReal / А. Н. Терехов, Т. А. Брыксин, В. А. Литвинов и др. // Системное программирование. 2009. № 4. С. 171-196.
  • Литвинов Ю. В., Кузьмина Е. В., Небогатиков И. Ю., Алымова Д. А. Среда предметно-ориентированного визуального моделирования REAL.NET // Материалы 7-й всероссийской научной конференции по проблемам информатики СПИС0К-2017. Санкт-Петербург: ВВМ, 2017. С. 80-89. http://spisok.math.spbu.ru/2017/txt/SPIS0K-2017.pdf
  • Терехов А. Н., Брыксин Т. А., Литвинов Ю. В. Среда визуального программирования роботов QReal :Robots // III Всероссийская конференция «Современное технологическое обучение: от компьютера к роботу» (сборник тезисов). Санкт-Петербург, 2013. С. 1-4.
  • 21.Mordvinov D., Litvinov Yu., Bryksin T. TRIK Studio: Technical Introduction // Proceedings of the 20th Conference of Open Innovations Association (FRUCT 2017). P. 296-308. ISSN: 2305-7254
  • Atkinson C., Kühnen T. In Defence of Deep Modelling // Information and Software Technology. 2015. Vol. 64. P. 36-51.
  • Fazle Rabbi, Yngve Lamo, Ingrid Yu, Lars Kristensen. Diagrammatic Development of Domain-Specific Modelling Languages with WebDPF // International Journal of Vehicle Systems Modelling and Design. 2016. Vol. 7. P. 93-114.
  • Colin Atkinson, Ralph Gerbig. Melanie: Multi-level Modeling and Ontology Engineering Environment // Proceedings of the 2nd International Master Class on Model-Driven Engineering: Modeling Wizards, 27-29 September 2012. P. 1-2. https://doi.org/10.1145/2448076.2448083
  • Bastian Kennel. A Unified Framework for Multi-level Modeling. 2012. https://d-nb.info/1034315374/34
  • Rabbi F., Lamo Y., Yu I. C., Kristensen L. M. WebDPF: A Web-based Metamodelling and Model Transformation Environment // 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2016). P. 87-98.
Еще
Статья обзорная