Reversible calculations. Part I

S. I. Gurov^a, A. E. Zhukov^b, D. V. Zakablukov^c, G. V. Kormakov<sup>a

a</sup> Lomonosov Moscow State University
^b Bauman Moscow State Technical University
^c Algorithms and Data LLC

Abstract: In the first part of the paper, the main provisions of reversibility as a new paradigm for the development of computer technology are considered. The fundamentals of reversible logic and models of reversible calculations, reversible programming languages are stated.

Keywords: reversible logic, reversible computation models, reversible programming languages.

UDC: 519.7, 621.3

MSC: 68M07