Formal and adaptive methods and software tools of parallel programming

Abstract

Наведено огляд результатів розробки формальних та адаптивних методів і програмних засобів, досягнутих за останні роки в Інституті програмних систем НАН України, що ґрунтуються на алгеброалгоритмічному підході та техніці переписувальних правил. Методи призначені для автоматизації проектування, генерації та перетворень паралельних програм для широкого діапазону мультипроцесорних обчислювальних платформ і знаходять застосування для різних прикладних областей, зокрема, для ефективної реалізації задач метеорологічного прогнозування. Ключові слова: автоматизація програмування, алгебра алгоритмів, метеорологічне прогнозування, паралельні обчислення, техніка переписувальних правил.

Validation of correctness of autotuning code transformations with rewriting rules technique

“…Також для виконання перетворень можна використовувати фреймворк Termware [3], [4], який спирається на техніку переписувальних правил. Цей фреймворк дозволяє для деякої предметної області визначити відповідність між операторами й предикатами АГ й програмним кодом деякої(деяких) мови програмування [8]. Така відповідність дає змогу використовувати переписувальні правила Termware для автоматичного переходу між двома рівнями представлення програми.…”