Стабільність та монотонність програм щодо структурних трансформацій даних
Розглядається проблема поведінки програм щодо структурних трансформацій вхідних даних. Проведено уточнення проблеми та її формалізацію в рамках композиційно-номінативного підходу. Досліджено введені поняття та побудовано мову програм, які мають стабільну та монотонну поведінку при зміні структури...
Saved in:
| Date: | 2010 |
|---|---|
| Main Authors: | Нікітченко, М.С., Іванов, Є.В. |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут програмних систем НАН України
2010
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/14636 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Стабільність та монотонність програм щодо структурних трансформацій даних/ М.С. Нікітченко, Є.В. Іванов// Пробл. програмув. — 2010. — № 2-3. — С. 58-67. — Бібліогр.: 2 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
-
Логіки, орієнтовані на специфікації програм
by: Нікітченко, М.С., et al.
Published: (2006) -
Базові основи індустрії програм, обчислень і даних
by: Лавріщева, К.М.
Published: (2012) -
О структурних элементах компонентной сети Петри
by: Лукьянова, Е.А.
Published: (2012) -
Моделі взаємодії програм, систем і операційних середовищ
by: Лавріщева, К.М.
Published: (2011) -
Метод доведення властивостей програм в композиційно-номінативних мовах IPCL
by: Панченко, Т.В.
Published: (2008)