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

dc.contributor.author	Львов, С.М.
dc.date.accessioned	2008-09-17T12:07:22Z
dc.date.available	2008-09-17T12:07:22Z
dc.date.issued	2004
dc.identifier.citation	О реализации вычислений в задачах анализа программ, определенных над векторными пространствами / С.М. Львов // Проблеми програмування. — 2004. — N 2,3. — С. 95-101. — Бібліогр.: 6 назв. — рос.	en_US
dc.identifier.issn	1727-4907
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/2288
dc.description.abstract	В даній роботі розглянуті основні вимоги користувача до програмної системи, яка автоматично генерує програмні інваріанти для визначеного класу програм. Аналізуються також методи реалізації основних алгоритмів такої системи.	en_US
dc.description.abstract	В настоящей работе рассмотрены основные пользовательские требования к программной системе, автоматически генерирующей программные инварианты для определенного класса программ. Анализируются также методы реализации основных алгоритмов такой системы.	en_US
dc.description.abstract	In 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.language.iso	ru	en_US
dc.publisher	Інститут програмних систем НАН України	en_US
dc.subject	Формальные методы в программировании	en_US
dc.title	О реализации вычислений в задачах анализа программ, определенных над векторными пространствами	en_US
dc.type	Article	en_US
dc.status	published earlier	en_US
dc.identifier.udc	51.681.3