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

Context term calculus for rewriting systems

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

Повний опис

Збережено в:
Бібліографічні деталі
Опубліковано в:PROBLEMS IN PROGRAMMING
Дата:2018
Випуск:2-3
Сторінки:21-30
ISSN:1727-4907
Автори та афіліації:
  • R.S. Shevchenko — Institute of Software Systems NAS of Ukraine
Ключові слова:мови програмування, автоматизація програмування, автоматизація розробки програмного забезпечення, переписування термів, автоматизоване проектування програм, алгебра типів, автоматизоване проєктування програм, системи типів, технологія програмування, програмування
Автор: Shevchenko, R.S.
Формат: Стаття
Мова:Українська
Опубліковано: PROBLEMS IN PROGRAMMING 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
Завантажити файл: Pdf

Репозитарії

Problems in programming

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

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