Стабільність та монотонність програм щодо структурних трансформацій даних

• Datum: 2010
• Hauptverfasser: Нікітченко, М.С., Іванов, Є.В.
• Format: Artikel
• Sprache: Ukrainisch
• Veröffentlicht: Інститут програмних систем НАН України 2010
• Schlagworte: Теоретичні та методологічні основи програмування
• Online Zugang: https://nasplib.isofts.kiev.ua/handle/123456789/14636
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Zitieren: Стабільність та монотонність програм щодо структурних трансформацій даних/ М.С. Нікітченко, Є.В. Іванов// Пробл. програмув. — 2010. — № 2-3. — С. 58-67. — Бібліогр.: 2 назв. — укр.

Розглядається проблема поведінки програм щодо структурних трансформацій вхідних даних. Проведено уточнення проблеми та її
 формалізацію в рамках композиційно-номінативного підходу. Досліджено введені поняття та побудовано мову програм, які мають
 стабільну та монотонну поведінку при зміні структури вхідних даних. 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.