Наукова електронна бібліотека
періодичних видань НАН України
періодичних видань НАН України
n- исчисление – реалистичная формализация класса переписывающих систем
Репозиторій DSpace/Manakin
JavaScript is disabled for your browser. Some features of this site may not work without it.
n- исчисление – реалистичная формализация класса переписывающих систем
Тема:
Теоретичні та методологічні основи програмування
УДК:
681.51
Посилання:
n- исчисление – реалистичная формализация класса переписывающих систем / Р.С. Шевченко, А.Е. Дорошенко // Пробл. програмув. — 2011. — № 2. — С. 3-11. — Бібліогр.: 13 назв. — рос.
Дата:
2011
Переглядів:
1152
Завантажень:
954
Анотація:
Предложен новый формализм типизированного η-исчисления в качестве теоретической основы для по-строения специальных классов систем программирования на основе переписывающих правил. Форма-лизм использует упорядоченные неконфлюэнтные множества правил переписывания и взаимодействие с программным окружением, что позволяет расширить возможности программирования динамических приложений.
