Reversible Computing
en.wikipedia.org