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

About one Approach for the Verification of Algebraic Computations

The approach to verification of interpreters of multi-sorted algebraic operations by their specifications, based on constructive clarification of expansion concept of multi-sorted algebraic system and provingthe axioms of algebraic system is considered. This approach is illustrated by the examples...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в:	PROBLEMS IN PROGRAMMING
Дата:	2025
Випуск:	4
Сторінки:	23-35
ISSN:	1727-4907
Автори та афіліації:	M.S. Lvov — Kherson State University
Автор:	Lvov, M.S.
Формат:	Стаття
Мова:	Російська
Опубліковано:	PROBLEMS IN PROGRAMMING 2025
Теми:	UDC 004.415.28
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/823
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming
Завантажити файл:

Репозитарії

Problems in programming

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

About construction of digital library models
за авторством: Reznichenko, V.A., та інші
Опубліковано: (2026)

The usage of ontologies for semantics analysis of texts on natural language
за авторством: Lescko, O.N., та інші
Опубліковано: (2026)

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

Regression testing: techniques and future research directions
за авторством: Moroz, H.B., та інші
Опубліковано: (2025)

Traversal of arbitrary sequences of UCM symbolic transitions for test generation
за авторством: Guba, A.A.
Опубліковано: (2025)

Entity-substance characteristics of educational environment
за авторством: Parfirova, T.S.
Опубліковано: (2026)

An approach to behavioral software models refinement using design patterns
за авторством: Chebanyuk, O.B.
Опубліковано: (2025)

Formal verification of deep neural networks
за авторством: Panchuk, B.O.
Опубліковано: (2024)

About one method of retracing on a plane
за авторством: Yalovets, A.L.
Опубліковано: (2025)

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

Monitoring design flaws in object-oriented software
за авторством: Nechay, A.S.
Опубліковано: (2026)

Metrics selection for the software properties
за авторством: Dyshlevyi, O.P.
Опубліковано: (2026)

Formal semantics of aggregate operations of multiset table algebra
за авторством: Glushko, I.M.
Опубліковано: (2025)

About one approach to automatic creation of formal queries to ontological knowledge bases
за авторством: Palagin, O.V., та інші
Опубліковано: (2024)

Сoordinated description of algorithms within the framework of algebraic vehicle
за авторством: Akulovskiy, V.G., та інші
Опубліковано: (2025)

About bypassing of multivalued dependency in the relational data model
за авторством: Panchenko, B.E.
Опубліковано: (2026)

Designing of the specialized computer system for making pulmonology diagnosis
за авторством: Komlevaya, N.O., та інші
Опубліковано: (2025)

Algebra of algorithms with the data and forecasting of computing process
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

Virtual endomorphisms of groups
за авторством: Nekrashevych, Volodymyr
Опубліковано: (2018)

Approaches to realization Yen’s algorithm for systems with the shared memory
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2025)

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

Conflict controlled network modeling: evolutionary games approach
за авторством: Ignatenko, O.P., та інші
Опубліковано: (2019)

Method for calculating the parameters of phase transitions of discrete technological and information processes of strategic planning with parallelization of computations
за авторством: Stepaniuk, M.Yu.
Опубліковано: (2025)

Hibrid approach to processing incomplete stream data in distributed real-time systems
за авторством: Zhyliuk, Y., та інші
Опубліковано: (2025)

About some approaches to calculating uncertainties
за авторством: Provotar, A.I., та інші
Опубліковано: (2026)

DS-theory. The research of P-data factors formating
за авторством: Kolesnyk, V.G.
Опубліковано: (2018)

On the possibility of a systematic study of the production management systems
за авторством: Kolesnyk, V.G.
Опубліковано: (2018)

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

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

Verification of programs: status, problems and experimental results. II
за авторством: Maksymets, A.N.
Опубліковано: (2025)

Verification of programs: status, problems and experimental results. I
за авторством: Maksymets, A.N.
Опубліковано: (2025)

Formal verification of the properties of coreferent resolution model based on decision trees
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2024)

About one technique for forming an object representation of relational data
за авторством: Likhatsky, I.A.
Опубліковано: (2025)

Укриття. Хроніка перемоги
за авторством: Каранда, O.
Опубліковано: (1995)

Щоденник інженера
за авторством: Стуров, P.
Опубліковано: (1995)

Formal model for verification of personalized educational trajectories based on ALLOY
за авторством: Poltoratskyi, M.Yu., та інші
Опубліковано: (2026)

Diagnostic approaches to glusometabolic categories verification: views evolution
за авторством: T. V. Ashcheulova, та інші
Опубліковано: (2016)

Specification Based Program Construction and Verification in Composition-Nominative Language CNLS
за авторством: Bezverha, M.A., та інші
Опубліковано: (2026)

About the method of the nearest point as a method of management of strategies of pursuit/evasion of agents
за авторством: Yalovets, A.L.
Опубліковано: (2025)

One approach to recognizing geometric objects in computer vision problems
за авторством: V. M. Tereshchenko, та інші
Опубліковано: (2016)