Форма документа : Стаття із журналу Шифр видання : 519.65/М 171 Автор(и) : Максимец А. Н. Назва : Поиск программных инвариантов в виде полиномов Місце публікування : Доповіді Національної академії наук України. - 2013. - № 9. - С.44-50 Примітки : Библиогр. в конце ст. УДК : 519.65 Предметні рубрики: Математика-- Обчислювальна математика і чисельний аналіз-- Наближення та інтерполяція Комп'ютерна наука і технологія-- Програмне забезпечення-- Програмування, комп'ютерні програми-- Алгоритми для конструювання програм Анотація: Наведено рішення проблеми пошуку інваріантів програм у вигляді поліноміальних залежностей методом верхньої апроксимації. Розв'язано задачі про співвідношення і про перетин множин інваріантів з використанням базисів Грьобнера при умові невиродженості оператора присвоювання.