Поиск программных инвариантов в виде полиномов
Представлено решение проблемы поиска инвариантов программ в виде полиномиальных зависимостей методом верхней аппроксимации. Этот итерационный метод, с успехом примененный к программам над абсолютно свободными алгебрами и векторными пространствами данных, адаптирован для кольца полиномов. Множество...
Saved in:
| Published in: | Доповіді НАН України |
|---|---|
| Date: | 2013 |
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Published: |
Видавничий дім "Академперіодика" НАН України
2013
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/85891 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Поиск программных инвариантов в виде полиномов / А.Н. Максимец // Доповiдi Нацiональної академiї наук України. — 2013. — № 9. — С. 44–50. — Бібліогр.: 12 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-85891 |
|---|---|
| record_format |
dspace |
| spelling |
Максимец, А.Н. 2015-08-31T16:16:29Z 2015-08-31T16:16:29Z 2013 Поиск программных инвариантов в виде полиномов / А.Н. Максимец // Доповiдi Нацiональної академiї наук України. — 2013. — № 9. — С. 44–50. — Бібліогр.: 12 назв. — рос. 1025-6415 https://nasplib.isofts.kiev.ua/handle/123456789/85891 519.6:539.3 Представлено решение проблемы поиска инвариантов программ в виде полиномиальных зависимостей методом верхней аппроксимации. Этот итерационный метод, с успехом примененный к программам над абсолютно свободными алгебрами и векторными пространствами данных, адаптирован для кольца полиномов. Множество инвариантов в этом случае представляется в виде идеала кольца полиномов. Решены задачи о соотношениях и о пересечении множеств инвариантов с использованием базисов Гребнера при условии невырожденности оператора присваивания. Наведено рiшення проблеми пошуку iнварiантiв програм у виглядi полiномiальних залежностей методом верхньої апроксимацiї. Цей iтерацiйнний метод, вдало застосований для програм з абсолютно вiльними алгебрами i векторними просторами даних, адаптований для кiльця полiномiв. Множина iнварiантiв в цьому випадку являє собою iдеал кiльця полiномiв. Розв’язанi задачi про спiввiдношення i про перетин множин iнварiантiв з використанням базисiв Грьобнера при умовi невиродженостi оператора присвоювання. A solution of the polynomial invariant generation problem for programs is presented. The iteration upper approximation method which was successfully applied to free algebras is adopted for a polynomial ring. The set of invariants is interpreted as an ideal over a polynomial ring. The solutions of the relationship and intersection problems are proposed. An intersection of Gröbner bases is applied to solve the intersection problem. The inverse obligatory is applied to solve the relationship problem. ru Видавничий дім "Академперіодика" НАН України Доповіді НАН України Інформатика та кібернетика Поиск программных инвариантов в виде полиномов Пошук програмних iнварiантiв у виглядi полiномiв Polynomial invariants generation of programs Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Поиск программных инвариантов в виде полиномов |
| spellingShingle |
Поиск программных инвариантов в виде полиномов Максимец, А.Н. Інформатика та кібернетика |
| title_short |
Поиск программных инвариантов в виде полиномов |
| title_full |
Поиск программных инвариантов в виде полиномов |
| title_fullStr |
Поиск программных инвариантов в виде полиномов |
| title_full_unstemmed |
Поиск программных инвариантов в виде полиномов |
| title_sort |
поиск программных инвариантов в виде полиномов |
| author |
Максимец, А.Н. |
| author_facet |
Максимец, А.Н. |
| topic |
Інформатика та кібернетика |
| topic_facet |
Інформатика та кібернетика |
| publishDate |
2013 |
| language |
Russian |
| container_title |
Доповіді НАН України |
| publisher |
Видавничий дім "Академперіодика" НАН України |
| format |
Article |
| title_alt |
Пошук програмних iнварiантiв у виглядi полiномiв Polynomial invariants generation of programs |
| description |
Представлено решение проблемы поиска инвариантов программ в виде полиномиальных
зависимостей методом верхней аппроксимации. Этот итерационный метод, с успехом примененный к программам над абсолютно свободными алгебрами и векторными пространствами данных, адаптирован для кольца полиномов. Множество инвариантов
в этом случае представляется в виде идеала кольца полиномов. Решены задачи о соотношениях и о пересечении множеств инвариантов с использованием базисов Гребнера при условии невырожденности оператора присваивания.
Наведено рiшення проблеми пошуку iнварiантiв програм у виглядi полiномiальних залежностей методом верхньої апроксимацiї. Цей iтерацiйнний метод, вдало застосований для програм з абсолютно вiльними алгебрами i векторними просторами даних, адаптований для
кiльця полiномiв. Множина iнварiантiв в цьому випадку являє собою iдеал кiльця полiномiв.
Розв’язанi задачi про спiввiдношення i про перетин множин iнварiантiв з використанням
базисiв Грьобнера при умовi невиродженостi оператора присвоювання.
A solution of the polynomial invariant generation problem for programs is presented. The iteration upper approximation method which was successfully applied to free algebras is adopted for
a polynomial ring. The set of invariants is interpreted as an ideal over a polynomial ring. The
solutions of the relationship and intersection problems are proposed. An intersection of Gröbner
bases is applied to solve the intersection problem. The inverse obligatory is applied to solve the relationship problem.
|
| issn |
1025-6415 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/85891 |
| citation_txt |
Поиск программных инвариантов в виде полиномов / А.Н. Максимец // Доповiдi Нацiональної академiї наук України. — 2013. — № 9. — С. 44–50. — Бібліогр.: 12 назв. — рос. |
| work_keys_str_mv |
AT maksimecan poiskprogrammnyhinvariantovvvidepolinomov AT maksimecan pošukprogramnihinvariantivuviglâdipolinomiv AT maksimecan polynomialinvariantsgenerationofprograms |
| first_indexed |
2025-12-07T17:46:54Z |
| last_indexed |
2025-12-07T17:46:54Z |
| _version_ |
1850872550376079360 |