Stability and monotonicity of programs for structural data transformations

• Datum: 2026
• Hauptverfasser: Nikitchenko, M.S., Iivanov, E.V.
• Format: Artikel
• Sprache: Ukrainisch
• Veröffentlicht: PROBLEMS IN PROGRAMMING 2026
• Schlagworte: UDC 004.4
• Online Zugang: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/865
• Назва журналу: Problems in programming

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...