Cover Image

About one Approach for the Verification of Algebraic Computations

The approach to verification of interpreters of multi-sorted algebraic operations by their speci­fi­cations, 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
Published in:PROBLEMS IN PROGRAMMING
Date:2025
Issue:4
Pages:23-35
ISSN:1727-4907
Author Affiliations:
  • M.S. Lvov — Kherson State University
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: Pdf

Institution

Problems in programming

Similar Items

Similar Items