Generating reversible circuits from higher-order functional programs

Benoit Valiron

Boolean reversible circuits are boolean circuits made of reversible elementary gates. Despite their constrained form, they can simulate any boolean function. The synthesis and vali…