Показати простий запис статті
dc.contributor.author |
Нікітченко, М.С. |
|
dc.contributor.author |
Іванов, Є.В. |
|
dc.date.accessioned |
2010-12-27T13:52:52Z |
|
dc.date.available |
2010-12-27T13:52:52Z |
|
dc.date.issued |
2010 |
|
dc.identifier.citation |
Стабільність та монотонність програм щодо структурних трансформацій даних/ М.С. Нікітченко, Є.В. Іванов// Пробл. програмув. — 2010. — № 2-3. — С. 58-67. — Бібліогр.: 2 назв. — укр. |
uk_UA |
dc.identifier.issn |
1727-4907 |
|
dc.identifier.uri |
http://dspace.nbuv.gov.ua/handle/123456789/14636 |
|
dc.description.abstract |
Розглядається проблема поведінки програм щодо структурних трансформацій вхідних даних. Проведено уточнення проблеми та її
формалізацію в рамках композиційно-номінативного підходу. Досліджено введені поняття та побудовано мову програм, які мають
стабільну та монотонну поведінку при зміні структури вхідних даних. |
uk_UA |
dc.description.abstract |
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. |
uk_UA |
dc.language.iso |
uk |
uk_UA |
dc.publisher |
Інститут програмних систем НАН України |
uk_UA |
dc.subject |
Теоретичні та методологічні основи програмування |
uk_UA |
dc.title |
Стабільність та монотонність програм щодо структурних трансформацій даних |
uk_UA |
dc.title.alternative |
Stability and monotonicity of programs with respect to structure transformations of data |
uk_UA |
dc.type |
Article |
uk_UA |
dc.status |
published earlier |
uk_UA |
dc.identifier.udc |
004.4 |
|
Файли у цій статті
Ця стаття з'являється у наступних колекціях
Показати простий запис статті