О реализации вычислений в задачах анализа программ, определенных над векторными пространствами
В даній роботі розглянуті основні вимоги користувача до програмної системи, яка автоматично генерує програмні інваріанти для
 визначеного класу програм. Аналізуються також методи реалізації основних алгоритмів такої системи. В настоящей работе рассмотрены основные пользовательские требования...
Gespeichert in:
| Datum: | 2004 |
|---|---|
| ISSN: | 1727-4907 |
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Russisch |
| Veröffentlicht: |
Інститут програмних систем НАН України
2004
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/2288 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | О реализации вычислений в задачах анализа программ, определенных над векторными пространствами / С.М. Львов // Проблеми програмування. — 2004. — N 2,3. — С. 95-101. — Бібліогр.: 6 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| Zusammenfassung: | В даній роботі розглянуті основні вимоги користувача до програмної системи, яка автоматично генерує програмні інваріанти для
визначеного класу програм. Аналізуються також методи реалізації основних алгоритмів такої системи.
В настоящей работе рассмотрены основные пользовательские требования к программной системе, автоматически генерирующей
программные инварианты для определенного класса программ. Анализируются также методы реализации основных алгоритмов такой
системы.
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 |