Context term calculus for rewriting systems

• Datum: 2018
• 1. Verfasser: Shevchenko, R.S.
• Format: Artikel
• Sprache: Ukrainian
• Veröffentlicht: PROBLEMS IN PROGRAMMING 2018
• Schlagworte: software development automation; term rewriting; type systems; programming languages; code analysis; termware; UDC 004.4'24
• Online Zugang: 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...