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

• Дата: 2019
• Автори: Shevchenko, R.S., Doroshenko, A.Yu.
• Формат: Стаття
• Мова: Ukrainian
• Опубліковано: Інститут програмних систем НАН України 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...