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). This allows to embed operation of name resolving into the mathematical semantics of the term rewriting.  The elements of algebra are multiterms, which complement context terms by constructions of arrows, universal matching pattern and consistent set. This allows to emulate substitutions of typed variables in the terms of multiterm algebra. Also, the method of effective rule dispatch is described. Example of usage term re­writing system for checking of smart-contract properties, with automatic transformation of expression between representation in terms of Scala algebraic types and TermWare-3 context terms is shown. Problems in programming 2019; 1: 48-58