Introduction to Reversible Computing - Grand Format

Few books comprehensively cover the software and programming aspects of reversible computing. Filling this gap, Introduction to Reversible Computing offers an expanded view of the field that includes the traditional energy-motivated hardware viewpoint as well as the emerging application-motivated software approach. Collecting scattered knowledge into one coherent account, the book provides a compendium of both classical and recently developed results on reversible computing.
It explores up-and-coming theories, techniques, and tools for the application of reversible computing - the logical next step in the evolution of computing systems. The book covers theory, hardware and software aspects, fundamental limits, complexity analyses, practical algorithms, compilers, efficiency improvement techniques, and application areas. The topics span several areas of computer science, including high-performance computing, parallel/distributed systems, computational theory, compilers, power-aware computing, and supercomputing.
Features : emphasizes the software, programming, application, and usage aspects of reversible computing ; helps readers easily understand complex theoretical and seminal results at a level suitable for senior undergraduate or graduate students ; illustrates the development of reversible code generation using actual code segments in the C language ; provides pseudocodes of several algorithms for memory-less or memory-efficient reversibility, including reversible random number generation and reversible numerical computation.