О реализации вычислений в задачах анализа программ, определенных над векторными пространствами

Скорочена інформація про документ
dc.contributor.authorЛьвов, С.М.
dc.date.accessioned2008-09-17T12:07:22Z
dc.date.available2008-09-17T12:07:22Z
dc.date.issued2004
dc.description.abstractВ даній роботі розглянуті основні вимоги користувача до програмної системи, яка автоматично генерує програмні інваріанти для визначеного класу програм. Аналізуються також методи реалізації основних алгоритмів такої системи.en_US
dc.description.abstractВ настоящей работе рассмотрены основные пользовательские требования к программной системе, автоматически генерирующей программные инварианты для определенного класса программ. Анализируются также методы реализации основных алгоритмов такой системы.en_US
dc.description.abstractIn the present work the main user requirements to the program system are viewed, which automatically generates program invariants for certain program class. Also methods of basic algorithms realization of such system are analyzed.en_US
dc.identifier.citationО реализации вычислений в задачах анализа программ, определенных над векторными пространствами / С.М. Львов // Проблеми програмування. — 2004. — N 2,3. — С. 95-101. — Бібліогр.: 6 назв. — рос.en_US
dc.identifier.issn1727-4907
dc.identifier.udc51.681.3
dc.identifier.urihttps://nasplib.isofts.kiev.ua/handle/123456789/2288
dc.language.isoruen_US
dc.publisherІнститут програмних систем НАН Україниen_US
dc.statuspublished earlieren_US
dc.subjectФормальные методы в программированииen_US
dc.titleО реализации вычислений в задачах анализа программ, определенных над векторными пространствамиen_US
dc.typeArticleen_US

Файли

Оригінальний контейнер

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
13 - Lvov.pdf
Розмір:
155.14 KB
Формат:
Adobe Portable Document Format
Завантажити

Контейнер ліцензії

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
license.txt
Розмір:
1.79 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Колекція

Проблеми програмування, 2004, № 2,3