Cover Image

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

Full description

Saved in:

Bibliographic Details
Date:	2025
Main Author:	Lvov, M.S.
Format:	Article
Language:	Russian
Published:	PROBLEMS IN PROGRAMMING 2025
Subjects:	UDC 004.415.28
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/823
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

About construction of digital library models
by: Reznichenko, V.A., et al.
Published: (2026)

Development of integrated system of scientific periodicals based on the OJS
by: Kudim, K.A., et al.
Published: (2017)

The usage of ontologies for semantics analysis of texts on natural language
by: Lescko, O.N., et al.
Published: (2026)

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

DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 1
by: Kolesnyk, V.G.
Published: (2017)

Static method of consistency and completeness checking in formal model of distributed software systems
by: Kolchin, A.V., et al.
Published: (2025)

Regression testing: techniques and future research directions
by: Moroz, H.B., et al.
Published: (2025)

Traversal of arbitrary sequences of UCM symbolic transitions for test generation
by: Guba, A.A.
Published: (2025)

Entity-substance characteristics of educational environment
by: Parfirova, T.S.
Published: (2026)

An approach to behavioral software models refinement using design patterns
by: Chebanyuk, O.B.
Published: (2025)

Simple non-deterministic rewriting in verification
by: Letichevsky, A.A., et al.
Published: (2026)

Using of Dublin core metadata to create metadata description of informational resource "Course work" and estimate obtained results
by: Minenko, V.D.
Published: (2026)

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

Formal verification of deep neural networks
by: Panchuk, B.O.
Published: (2024)

Monitoring design flaws in object-oriented software
by: Nechay, A.S.
Published: (2026)

Метод доменного аналізу для ефективного моделювання процесів при проведенні експериментів з використанням програмного забезпечення
by: Chebanyuk, E.V., et al.
Published: (2015)

Metrics selection for the software properties
by: Dyshlevyi, O.P.
Published: (2026)

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

Analysis of the computational resources of personal computers
by: Lopatkin, R.Yu., et al.
Published: (2017)

About one method of retracing on a plane
by: Yalovets, A.L.
Published: (2025)

A cluster management system for INPARCOM HPC-cluster computers
by: Yushchenko, R.A.
Published: (2026)

Fluid models of dynamic scheduling in computer networks
by: Іgnatenko, O.P.
Published: (2025)

Formal semantics of aggregate operations of multiset table algebra
by: Glushko, I.M.
Published: (2025)

Algebra for the description of data in the composite schemes of algorithms
by: Akulovskiy, V.G.
Published: (2015)

Modeling of computer networks management processes under conflict conditions
by: Ignatenko, O.P.
Published: (2026)

Сoordinated description of algorithms within the framework of algebraic vehicle
by: Akulovskiy, V.G., et al.
Published: (2025)

About bypassing of multivalued dependency in the relational data model
by: Panchenko, B.E.
Published: (2026)

About development of an ontological toolkit
by: Palagin, A.V., et al.
Published: (2015)

DS-theory. Presentation of canonical algorithm by means of algorithmic language
by: Kolesnyk, V.G.
Published: (2017)

Designing of the specialized computer system for making pulmonology diagnosis
by: Komlevaya, N.O., et al.
Published: (2025)

Formal model of scientific publication
by: Reznichenko, V.A., et al.
Published: (2015)

About relationship between table algebra of infinite tables and multiset table algebra
by: Glushko, I.M.
Published: (2018)

Approaches to realization Yen’s algorithm for systems with the shared memory
by: Pogorilyy, S.D., et al.
Published: (2025)

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

Conflict controlled network modeling: evolutionary games approach
by: Ignatenko, O.P., et al.
Published: (2019)

Stability and monotonicity of programs for structural data transformations
by: Nikitchenko, M.S., et al.
Published: (2026)

Approach to the building intelligent decision support systems on the basis of ontology
by: Lytvyn, V.V.
Published: (2025)

Algebra of algorithms with the data and forecasting of computing process
by: Doroshenko, A.Yu., et al.
Published: (2025)

Efficient increasing of the mutation score during model-based test suite generation
by: Kolchin, A., et al.
Published: (2020)

About one approach to automatic creation of formal queries to ontological knowledge bases
by: Palagin, O.V., et al.
Published: (2024)