Наукова електронна бібліотека
періодичних видань НАН України
періодичних видань НАН України
Интеграция инструментальных средств алгебры алгоритмов и переписывания термов для разработки эффективных параллельных программ
Репозиторій DSpace/Manakin
JavaScript is disabled for your browser. Some features of this site may not work without it.
Интеграция инструментальных средств алгебры алгоритмов и переписывания термов для разработки эффективных параллельных программ
Тема:
Формальні методи розробки програмного забезпечення
УДК:
681.3
Посилання:
Интеграция инструментальных средств алгебры алгоритмов и переписывания термов для разработки эффективных параллельных программ / Е.А. Яценко // Проблеми програмування. — 2013. — № 2. — С. 62-70. — Бібліогр.: 14 назв. — рос.
Дата:
2013
Переглядів:
785
Завантажень:
579
Анотація:
Предложен подход к генерации термов по высокоуровневым спецификациям алгоритмов. Генерация выполняется в рамках совместного использования системы символьных вычислений и алгеброалгоритмического инструментария проектирования и синтеза программ. Система переписывания термов дополняет алгеброалгоритмический инструментарий средствами преобразования последовательных и параллельных алгоритмов, направленных на их улучшение.
