Стабільність та монотонність програм щодо структурних трансформацій даних
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Стабільність та монотонність програм щодо структурних трансформацій даних
|
|
| Creator |
Нікітченко, М.С.
Іванов, Є.В. |
|
| Subject |
Теоретичні та методологічні основи програмування
|
|
| Description |
Розглядається проблема поведінки програм щодо структурних трансформацій вхідних даних. Проведено уточнення проблеми та її формалізацію в рамках композиційно-номінативного підходу. Досліджено введені поняття та побудовано мову програм, які мають стабільну та монотонну поведінку при зміні структури вхідних даних. In the article the problem of program behavior with respect to structure transformations of input data is considered. An explication and formalization of the problem in the framework of composition-nominative approach is given. Defined notions are studied and a language of programs having stable and monotone behavior under structure transformations is constructed. |
|
| Date |
2010-12-27T13:52:52Z
2010-12-27T13:52:52Z 2010 |
|
| Type |
Article
|
|
| Identifier |
Стабільність та монотонність програм щодо структурних трансформацій даних/ М.С. Нікітченко, Є.В. Іванов// Пробл. програмув. — 2010. — № 2-3. — С. 58-67. — Бібліогр.: 2 назв. — укр.
1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/14636 004.4 |
|
| Language |
uk
|
|
| Publisher |
Інститут програмних систем НАН України
|
|