О реализации вычислений в задачах анализа программ, определенных над векторными пространствами
В даній роботі розглянуті основні вимоги користувача до програмної системи, яка автоматично генерує програмні інваріанти для визначеного класу програм. Аналізуються також методи реалізації основних алгоритмів такої системи. В настоящей работе рассмотрены основные пользовательские требования к прогр...
Збережено в:
| Дата: | 2004 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут програмних систем НАН України
2004
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/2288 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | О реализации вычислений в задачах анализа программ, определенных над векторными пространствами / С.М. Львов // Проблеми програмування. — 2004. — N 2,3. — С. 95-101. — Бібліогр.: 6 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-2288 |
|---|---|
| record_format |
dspace |
| spelling |
Львов, С.М. 2008-09-17T12:07:22Z 2008-09-17T12:07:22Z 2004 О реализации вычислений в задачах анализа программ, определенных над векторными пространствами / С.М. Львов // Проблеми програмування. — 2004. — N 2,3. — С. 95-101. — Бібліогр.: 6 назв. — рос. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/2288 51.681.3 В даній роботі розглянуті основні вимоги користувача до програмної системи, яка автоматично генерує програмні інваріанти для визначеного класу програм. Аналізуються також методи реалізації основних алгоритмів такої системи. В настоящей работе рассмотрены основные пользовательские требования к программной системе, автоматически генерирующей программные инварианты для определенного класса программ. Анализируются также методы реализации основных алгоритмов такой системы. 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. ru Інститут програмних систем НАН України Формальные методы в программировании О реализации вычислений в задачах анализа программ, определенных над векторными пространствами 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 |
2004 |
| language |
Russian |
| publisher |
Інститут програмних систем НАН України |
| format |
Article |
| description |
В даній роботі розглянуті основні вимоги користувача до програмної системи, яка автоматично генерує програмні інваріанти для
визначеного класу програм. Аналізуються також методи реалізації основних алгоритмів такої системи.
В настоящей работе рассмотрены основные пользовательские требования к программной системе, автоматически генерирующей
программные инварианты для определенного класса программ. Анализируются также методы реализации основных алгоритмов такой
системы.
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.
|
| issn |
1727-4907 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/2288 |
| citation_txt |
О реализации вычислений в задачах анализа программ, определенных над векторными пространствами / С.М. Львов // Проблеми програмування. — 2004. — N 2,3. — С. 95-101. — Бібліогр.: 6 назв. — рос. |
| work_keys_str_mv |
AT lʹvovsm orealizaciivyčisleniivzadačahanalizaprogrammopredelennyhnadvektornymiprostranstvami |
| first_indexed |
2025-12-07T21:09:14Z |
| last_indexed |
2025-12-07T21:09:14Z |
| _version_ |
1850885280232374272 |