-calculus as a realistic formalization of a class of rewriting systems

• Veröffentlicht in: PROBLEMS IN PROGRAMMING
• Datum: 2025
• Heft: 2
• Сторінки: 3-11
• ISSN: 1727-4907
• Автори та афіліації: R.S. Shevchenko — Institute of Software Systems NAS of Ukraine; A.Yu. Doroshenko — Institute of Software Systems NAS of Ukraine
• Hauptverfasser: Shevchenko, R.S., Doroshenko, A.Yu.
• Format: Artikel
• Sprache: Russisch
• Veröffentlicht: PROBLEMS IN PROGRAMMING 2025
• Schlagworte: UDC 681.3
• Online Zugang: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/803
• Назва журналу: Problems in programming

A new formalism of typed -calculus is offered as theoretical foundation for the construction of the special classes of programming systems based on rewriting rules. The formalism utilizes the ordered non-confluent sets of rewriting rules and interaction with programming environment that allows to e...