A program transformation and architecture support for quantum uncomputation

  Quantum  computing’s  power  comes  from  new  algorithms  that exploit quantum mechanical phenomena for computation. Quantum algorithms  are  different  from  their  classical  counterparts  in  that quantum algorithms rely on algorithmic structures that are simply not present in classical computing. Just as classical program transformations and architectures have been designed for common classical  algorithm  structures,  quantum  program  transformations  and quantum architectures should be designed with quantum algorithms in mind. Because quantum algorithms come with these new algorithmic  structures,  resultant  quantum  program  transformations  and architectures  may  look  very  different  from  their  classical  counterparts. This  paper  focuses  on  uncomputation,  a  critical  and  prevalent structure in quantum algorithms, and considers how program transformations, andÂ...

• Type: Conference
• Year: 2006
• Where: ASPLOS
• Authors: Ethan Schuchman, T. N. Vijaykumar
• Keywords: ASPLOS 2006, Programming Languages, Quantum Program Transformations , Structures,  Quantum ProgramÂ