A functional language for describing reversible logic

  title={A functional language for describing reversible logic},
  author={Michael Kirkedal Thomsen},
  journal={Proceeding of the 2012 Forum on Specification and Design Languages},
Reversible logic is a computational model where all gates are logically reversible and combined in circuits such that no values are lost or duplicated. This paper presents a novel functional language that is designed to describe only reversible logic circuits. The language includes high-level constructs such as conditionals and a let-in statement that can be used to locally change wires that are otherwise considered to be constant. Termination of recursion is restricted by size-change… CONTINUE READING
Highly Cited
This paper has 45 citations. REVIEW CITATIONS

5 Figures & Tables



Citations per Year

Citation Velocity: 8

Averaging 8 citations per year over the last 3 years.

Learn more about how we calculate this metric in our FAQ.