Year: 2025
Type: conference-paper
Abstract: Equivalence in the context of information technology is an important concept that underlies many aspects of software development and theoretical computer science. This paper explores the concept of equivalence, its types, and its application in the IT field. Equivalence of software solutions, algorithms, and logical expressions ensures the correct functioning of programs, optimizes their performance, and reduces the likelihood of errors. The article discusses approaches to verifying code equivalence, logical equivalence of expressions, and methods for optimizing equivalent solutions. The advantages of using equivalence in programming, such as improving the reliability and efficiency of programs, are analyzed, as well as the challenges associated with verifying full equivalence and optimizing algorithms. The paper emphasizes the importance of equivalence in modern software development systems and its role in improving software quality.
Authors: I. Poyarkov, E. Ilyin
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: gold
OpenAlex ID: W4409416439