Зображення обкладинки

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

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...

Повний опис

Збережено в:
Бібліографічні деталі
Опубліковано в:PROBLEMS IN PROGRAMMING
Дата:2025
Випуск: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
Автори: Shevchenko, R.S., Doroshenko, A.Yu.
Формат: Стаття
Мова:Російська
Опубліковано: PROBLEMS IN PROGRAMMING 2025
Теми:
UDC 681.3
Онлайн доступ:https://pp.isofts.kiev.ua/index.php/ojs1/article/view/803
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Problems in programming
Завантажити файл: Pdf

Репозитарії

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 extend possibilities of programming dynamic applications.Problems in programming 2011; 2: 3-11
ISSN:1727-4907

Схожі ресурси