The design of a processor architecture capable of forward and reverse execution

An approach to reversibility at the machine language level is discussed. The focus is upon instruction set design and associated machine language programming techniques. Sample programs run on a simulator developed as proof of concept for a reversible system demonstrate the viability of reversible programs and possible application areas.<>