М 171 Максимец, А. Н. Поиск программных инвариантов в виде полиномов [Текст] / А. Н. Максимец // Доповіді Національної академії наук України. - 2013. - № 9. - С. 44-50. - Библиогр. в конце ст.
Комп'ютерна наука і технологія--Програмне забезпечення--Програмування, комп'ютерні програми--Алгоритми для конструювання програм Кл.слова (ненормовані): Базис Гребнера -- Алгебра данных -- Идеал Анотація: Наведено рішення проблеми пошуку інваріантів програм у вигляді поліноміальних залежностей методом верхньої апроксимації. Розв'язано задачі про співвідношення і про перетин множин інваріантів з використанням базисів Грьобнера при умові невиродженості оператора присвоювання. |
Дорошенко, А. Ю. Формальні методи автоматизації проектування паралельних програм [Text] / А. Ю. Дорошенко, О. А. Яценко // Доповіді Національної академії наук України. - 2020. - № 6. - С. 15-20. - текст ст. англ. мов. - Бібліогр. в кінці ст. Рубрики: Комп'ютерна наука і технологія--Програмне забезпечення--Програмування, комп'ютерні програми--Алгоритми для конструювання програм Кл.слова (ненормовані): Алгебра Глушкова -- Специфікація -- Алгоритм -- Природно-лінгвістичне подання Анотація: Розроблені засоби використовують мову, яка грунтується на системах алгоритмічних алгебр Глушкова і орієнтоване на високорівневе та природно-лінгвістичне подання алгоритмів, а також застосовують техніку переписувальних правил для трансформації програм. Дод.точки доступу: Яценко, О. А. |