Стабільність та монотонність програм щодо структурних трансформацій даних
Розглядається проблема поведінки програм щодо структурних трансформацій вхідних даних. Проведено уточнення проблеми та її формалізацію в рамках композиційно-номінативного підходу. Досліджено введені поняття та побудовано мову програм, які мають стабільну та монотонну поведінку при зміні структури...
Збережено в:
Дата: | 2010 |
---|---|
Автори: | , |
Формат: | Стаття |
Мова: | Ukrainian |
Опубліковано: |
Інститут програмних систем НАН України
2010
|
Теми: | |
Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/14636 |
Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
Цитувати: | Стабільність та монотонність програм щодо структурних трансформацій даних/ М.С. Нікітченко, Є.В. Іванов// Пробл. програмув. — 2010. — № 2-3. — С. 58-67. — Бібліогр.: 2 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraineid |
irk-123456789-14636 |
---|---|
record_format |
dspace |
spelling |
irk-123456789-146362011-07-30T21:28:56Z Стабільність та монотонність програм щодо структурних трансформацій даних Нікітченко, М.С. Іванов, Є.В. Теоретичні та методологічні основи програмування Розглядається проблема поведінки програм щодо структурних трансформацій вхідних даних. Проведено уточнення проблеми та її формалізацію в рамках композиційно-номінативного підходу. Досліджено введені поняття та побудовано мову програм, які мають стабільну та монотонну поведінку при зміні структури вхідних даних. 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. 2010 Article Стабільність та монотонність програм щодо структурних трансформацій даних/ М.С. Нікітченко, Є.В. Іванов// Пробл. програмув. — 2010. — № 2-3. — С. 58-67. — Бібліогр.: 2 назв. — укр. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/14636 004.4 uk Інститут програмних систем НАН України |
institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
collection |
DSpace DC |
language |
Ukrainian |
topic |
Теоретичні та методологічні основи програмування Теоретичні та методологічні основи програмування |
spellingShingle |
Теоретичні та методологічні основи програмування Теоретичні та методологічні основи програмування Нікітченко, М.С. Іванов, Є.В. Стабільність та монотонність програм щодо структурних трансформацій даних |
description |
Розглядається проблема поведінки програм щодо структурних трансформацій вхідних даних. Проведено уточнення проблеми та її
формалізацію в рамках композиційно-номінативного підходу. Досліджено введені поняття та побудовано мову програм, які мають
стабільну та монотонну поведінку при зміні структури вхідних даних. |
format |
Article |
author |
Нікітченко, М.С. Іванов, Є.В. |
author_facet |
Нікітченко, М.С. Іванов, Є.В. |
author_sort |
Нікітченко, М.С. |
title |
Стабільність та монотонність програм щодо структурних трансформацій даних |
title_short |
Стабільність та монотонність програм щодо структурних трансформацій даних |
title_full |
Стабільність та монотонність програм щодо структурних трансформацій даних |
title_fullStr |
Стабільність та монотонність програм щодо структурних трансформацій даних |
title_full_unstemmed |
Стабільність та монотонність програм щодо структурних трансформацій даних |
title_sort |
стабільність та монотонність програм щодо структурних трансформацій даних |
publisher |
Інститут програмних систем НАН України |
publishDate |
2010 |
topic_facet |
Теоретичні та методологічні основи програмування |
url |
http://dspace.nbuv.gov.ua/handle/123456789/14636 |
citation_txt |
Стабільність та монотонність програм щодо структурних трансформацій даних/ М.С. Нікітченко, Є.В. Іванов// Пробл. програмув. — 2010. — № 2-3. — С. 58-67. — Бібліогр.: 2 назв. — укр. |
work_keys_str_mv |
AT níkítčenkoms stabílʹnístʹtamonotonnístʹprogramŝodostrukturnihtransformacíjdanih AT ívanovêv stabílʹnístʹtamonotonnístʹprogramŝodostrukturnihtransformacíjdanih |
first_indexed |
2023-10-18T16:53:26Z |
last_indexed |
2023-10-18T16:53:26Z |
_version_ |
1796140143090860032 |