Стабільність та монотонність програм щодо структурних трансформацій даних
Розглядається проблема поведінки програм щодо структурних трансформацій вхідних даних. Проведено уточнення проблеми та її формалізацію в рамках композиційно-номінативного підходу. Досліджено введені поняття та побудовано мову програм, які мають стабільну та монотонну поведінку при зміні структури...
Збережено в:
Дата: | 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 UkraineСхожі ресурси
-
Логіки, орієнтовані на специфікації програм
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2006) -
Базові основи індустрії програм, обчислень і даних
за авторством: Лавріщева, К.М.
Опубліковано: (2012) -
О структурних элементах компонентной сети Петри
за авторством: Лукьянова, Е.А.
Опубліковано: (2012) -
Моделі взаємодії програм, систем і операційних середовищ
за авторством: Лавріщева, К.М.
Опубліковано: (2011) -
Метод доведення властивостей програм в композиційно-номінативних мовах IPCL
за авторством: Панченко, Т.В.
Опубліковано: (2008)