Cover Image

Stability and monotonicity of programs for structural data transformations

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

Full description

Saved in:

Bibliographic Details
Date:	2026
Main Authors:	Nikitchenko, M.S., Iivanov, E.V.
Format:	Article
Language:	Ukrainian
Published:	PROBLEMS IN PROGRAMMING 2026
Subjects:	UDC 004.4
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/865
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Problems in programming
Download file:

Institution

Problems in programming

Similar Items

Compositional-nominative logics over hierarchical data
by: Nikitchenko, M.S., et al.
Published: (2026)

One approach for advanced internet-programs creation on example of widget-programs developing
by: Glybovets, M.M., et al.
Published: (2025)

Рaradigms of programming assembling type in software engeneering
by: Lavrischeva, E.M.
Published: (2025)

V.M. Glushkov Kyiv School of Programming
by: Andon, P.I.
Published: (2025)

Managing scientific workflows in grid systems
by: Tverdokhlib, E.M., et al.
Published: (2025)

Renaissance of actor model application to the development of parallel and distributed systems
by: Glybovets, M.M., et al.
Published: (2017)

Analysis of storage and display frameworks based on aspect-oriented technologies
by: Glybovets, M.M., et al.
Published: (2025)

Technological model for the process of adaptive Web service composition engineering and exploiting
by: Slabospitskaya, О.A.
Published: (2017)

Creation of design methods for the CUDA hardware and software platform
by: Pogorilyy, S.D., et al.
Published: (2025)

Research of the synchronization patterns and their use in GPGPU
by: Pogorilyy, S.D., et al.
Published: (2025)

Principles of modeling GPGPU-applications using Petri nets
by: Pogorilyy, S.D., et al.
Published: (2025)

Using Petri nets to design parallel applications
by: Pogorilyy, S.D., et al.
Published: (2025)

Metods of interaction and coordination in multi-agent system based on fussy logic of higher type
by: Parasiuk, I.N., et al.
Published: (2025)

Managing data center resources using heuristic search
by: Zharikov, E.V.
Published: (2018)

A method of two-tier storage management in virtualized data center
by: Zharikov, E.V.
Published: (2019)

Use of methods of algebraic programming for the formal verification of legal acts
by: Peschanenko, V.S., et al.
Published: (2018)

On decompilation of VLIW executable files
by: Jakub, K.
Published: (2017)

Infrastructure FOR XML-models transformation
by: Glybovets, M.M., et al.
Published: (2025)

Multiagent models based on fuzzy logic of the highest type for a high-performance environment
by: Parasyuk, I.N., et al.
Published: (2015)

Modified method of searching keywords and keyterms in text data
by: Bukhalenkov, D.O., et al.
Published: (2024)

Constructive-synthesizing production of sorting programs adapted by genetic algorithm
by: Shynkarenko, V.I., et al.
Published: (2026)

On unification of processing methods of the structured information
by: Doroshenko, A.Yu., et al.
Published: (2025)

Specialized software for simulating dynamic virtual machine consolidation
by: Zharikov, E.V., et al.
Published: (2022)

Genetic algorithm for structural adaptation of sorting algorithms
by: Shinkarenko, V.I., et al.
Published: (2024)

Quality evaluation of consolidated data
by: Shahovska, N.B.
Published: (2019)

Development support system formation and analysis of annual reports of institutions of NAS of Ukraine
by: Tverdokhlib, Ye.M., et al.
Published: (2017)

Partial evaluation in insertion modeling system
by: Peschanenko, V.S.
Published: (2025)

Transition systems as method of designing applications in GPGPU technology
by: Kryvyi, S.L., et al.
Published: (2018)

Extension of the program synthesis system to analyze large data sets
by: Ovdii, O.M.
Published: (2018)

Injection of functional dependencies using inversion of control container
by: Glybovets, M.M., et al.
Published: (2019)

Development of agent recommendation system of virtual university based on JADE
by: Glybovets, M.M., et al.
Published: (2017)

Constraint programming in insertion modeling system
by: Letichevsky, O.A., et al.
Published: (2025)

Methods consolidated data processing using dataspaces
by: Shakhovska, N.B.
Published: (2025)

The means of the apache hadoop for parallel and distributed programs
by: Rukhlis, K.A., et al.
Published: (2026)

Data Integration in the Internet: Linked data
by: Novytskyi, O.V.
Published: (2026)

Bicomponent sorting algorithms
by: Shynkarenko, V. I., et al.
Published: (2023)

Flow based bonet traffic detection using AI
by: Panchuk, B.O.
Published: (2023)

Program agents in the distributed calculations for adaptive forming and teaching of neural nets
by: Shinkarenko, V.I., et al.
Published: (2026)

Technological solutions for intelligent analysis of Big Data. Programming languages
by: Grishanova, I.Y., et al.
Published: (2019)

The application of XML-representation for data integration in petroleum geophysics
by: Tulchynsky, V.G., et al.
Published: (2026)