Метод компіляційно-семантичної верифікації часопараметризованих мультипаралельних програм

Анотація

Наводиться визначення часопараметризованих мультипаралельних програм, які (на відміну від загальноприйнятого трактування паралельних програм) містять специфікації моментів початку виконання операцій/функцій, а також підмножини таких операцій/функцій. Обґрунтовується необхідність розробки нових методів верифікації часопараметризованих паралельних програм. Розкриваються етапи вирішення завдання компіляційного-семантичної верифікації часопараметризованих мультипаралельних програм в інтересах створення систем автоматичного синтезу високоефективних паралельних програм для обчислювальних систем різних класів. Наводиться приклад, що ілюструє основні етапи методу.