Зображення обкладинки

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

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2026
Автори:	Nikitchenko, M.S., Iivanov, E.V.
Формат:	Стаття
Мова:	Українська
Опубліковано:	PROBLEMS IN PROGRAMMING 2026
Теми:	UDC 004.4
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/865
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming
Завантажити файл:

Репозитарії

Problems in programming

Схожі ресурси

Compositional-nominative logics over hierarchical data
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2026)

One approach for advanced internet-programs creation on example of widget-programs developing
за авторством: Glybovets, M.M., та інші
Опубліковано: (2025)

Рaradigms of programming assembling type in software engeneering
за авторством: Lavrischeva, E.M.
Опубліковано: (2025)

V.M. Glushkov Kyiv School of Programming
за авторством: Andon, P.I.
Опубліковано: (2025)

Managing scientific workflows in grid systems
за авторством: Tverdokhlib, E.M., та інші
Опубліковано: (2025)

Renaissance of actor model application to the development of parallel and distributed systems
за авторством: Glybovets, M.M., та інші
Опубліковано: (2017)

Analysis of storage and display frameworks based on aspect-oriented technologies
за авторством: Glybovets, M.M., та інші
Опубліковано: (2025)

Technological model for the process of adaptive Web service composition engineering and exploiting
за авторством: Slabospitskaya, О.A.
Опубліковано: (2017)

Creation of design methods for the CUDA hardware and software platform
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2025)

Research of the synchronization patterns and their use in GPGPU
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2025)

Principles of modeling GPGPU-applications using Petri nets
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2025)

Using Petri nets to design parallel applications
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2025)

Metods of interaction and coordination in multi-agent system based on fussy logic of higher type
за авторством: Parasiuk, I.N., та інші
Опубліковано: (2025)

Managing data center resources using heuristic search
за авторством: Zharikov, E.V.
Опубліковано: (2018)

A method of two-tier storage management in virtualized data center
за авторством: Zharikov, E.V.
Опубліковано: (2019)

Use of methods of algebraic programming for the formal verification of legal acts
за авторством: Peschanenko, V.S., та інші
Опубліковано: (2018)

On decompilation of VLIW executable files
за авторством: Jakub, K.
Опубліковано: (2017)

Infrastructure FOR XML-models transformation
за авторством: Glybovets, M.M., та інші
Опубліковано: (2025)

Multiagent models based on fuzzy logic of the highest type for a high-performance environment
за авторством: Parasyuk, I.N., та інші
Опубліковано: (2015)

Modified method of searching keywords and keyterms in text data
за авторством: Bukhalenkov, D.O., та інші
Опубліковано: (2024)

Constructive-synthesizing production of sorting programs adapted by genetic algorithm
за авторством: Shynkarenko, V.I., та інші
Опубліковано: (2026)

On unification of processing methods of the structured information
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

Specialized software for simulating dynamic virtual machine consolidation
за авторством: Zharikov, E.V., та інші
Опубліковано: (2022)

Genetic algorithm for structural adaptation of sorting algorithms
за авторством: Shinkarenko, V.I., та інші
Опубліковано: (2024)

Quality evaluation of consolidated data
за авторством: Shahovska, N.B.
Опубліковано: (2019)

Development support system formation and analysis of annual reports of institutions of NAS of Ukraine
за авторством: Tverdokhlib, Ye.M., та інші
Опубліковано: (2017)

Partial evaluation in insertion modeling system
за авторством: Peschanenko, V.S.
Опубліковано: (2025)

Extension of the program synthesis system to analyze large data sets
за авторством: Ovdii, O.M.
Опубліковано: (2018)

Transition systems as method of designing applications in GPGPU technology
за авторством: Kryvyi, S.L., та інші
Опубліковано: (2018)

Injection of functional dependencies using inversion of control container
за авторством: Glybovets, M.M., та інші
Опубліковано: (2019)

Development of agent recommendation system of virtual university based on JADE
за авторством: Glybovets, M.M., та інші
Опубліковано: (2017)

Constraint programming in insertion modeling system
за авторством: Letichevsky, O.A., та інші
Опубліковано: (2025)

Methods consolidated data processing using dataspaces
за авторством: Shakhovska, N.B.
Опубліковано: (2025)

The means of the apache hadoop for parallel and distributed programs
за авторством: Rukhlis, K.A., та інші
Опубліковано: (2026)

Data Integration in the Internet: Linked data
за авторством: Novytskyi, O.V.
Опубліковано: (2026)

Bicomponent sorting algorithms
за авторством: Shynkarenko, V. I., та інші
Опубліковано: (2023)

Flow based bonet traffic detection using AI
за авторством: Panchuk, B.O.
Опубліковано: (2023)

Technological solutions for intelligent analysis of Big Data. Programming languages
за авторством: Grishanova, I.Y., та інші
Опубліковано: (2019)

Program agents in the distributed calculations for adaptive forming and teaching of neural nets
за авторством: Shinkarenko, V.I., та інші
Опубліковано: (2026)

The application of XML-representation for data integration in petroleum geophysics
за авторством: Tulchynsky, V.G., та інші
Опубліковано: (2026)