TermWare3 – term rewriting system, based on context-term calculus

• Опубліковано в: PROBLEMS IN PROGRAMMING
• Дата: 2019
• Випуск: 1
• Сторінки: 48-56
• ISSN: 1727-4907
• Автори та афіліації: R.S. Shevchenko — Institute of Software Systems NAS of Ukraine; A.Yu. Doroshenko — Institute of Software Systems NAS of Ukraine
• Ключові слова: мови програмування, автоматизація розробки програмного забезпечення, автоматизація програмування, алгебра типів, переписування термів, автоматизоване проектування програм, автоматизоване проєктування програм, аналіз коду, системи комп’ютерної алгебри, системи комп’ютерної алге- бри
• Автори: Shevchenko, R.S., Doroshenko, A.Yu.
• Формат: Стаття
• Мова: Українська
• Опубліковано: PROBLEMS IN PROGRAMMING 2019
• Теми: automated software design; programming languages; term rewriting; type systems; code analysis; TermWare; UDC 004.4'24
• Онлайн доступ: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/349
• Назва журналу: Problems in programming

In this paper, the design of the TermWare-3 rewriting system which is built on the ground of reflective calculus of context term is considered. In the calculus of the context term, term structure contains not only tree, but a reference to an internal context and matching constrains (external context...