Context term calculus for rewriting systems

• Дата: 2018
• Автор: Shevchenko, R.S.
• Формат: Стаття
• Мова: Ukrainian
• Опубліковано: Інститут програмних систем НАН України 2018
• Теми: software development automation; term rewriting; type systems; programming languages; code analysis; termware; UDC 004.4'24
• Онлайн доступ: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/259
• Назва журналу: Problems in programming

In this paper, a calculus of context-full terms is proposed. Calculus extends the traditional algebraic signatures, used in term rewriting systems, by so-called constructions, that works with context: context constructor, resolving a context value and binding term to context with compatibility check...