Reversible Computation theory is a theory of software construction oriented toward evolution, discovered when the author tried to explain software development practices starting from the fundamental principles of physics. Its methodology thus comes not from computer science itself but from theoretical physics, and it describes a relatively...