Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

QML: Quantum data and control Thorsten Altenkirch and Jonathan Grattage

Summary: QML: Quantum data and control
Thorsten Altenkirch and Jonathan Grattage
February 17, 2005
We introduce the language QML, a functional language for quantum
computations on finite types. QML introduces quantum data and control
structures, and integrates reversible and irreversible quantum computa-
tion. QML is based on strict linear logic, hence weakenings, which may
lead to decoherence, have to be explicit. We present an operational se-
mantics of QML programs using quantum circuits, and a denotational
semantics using superoperators.
1 Introduction
Quantum programming is now a firmly established field, as we can see from
the availability of introductory text books such as [Gru99, NC00, Pit00, Hir01]
and, not to forget, Preskill's excellent online notes [Pre99]. However, quantum
programs are usually presented in a semi-formal style and on a very low level,
usually as families of quantum circuits. We believe that high level quantum pro-
gramming languages can improve the presentation, further our understanding
of the power of quantum computing, and lead to new applications -- as they
have done in conventional programming.


Source: Altenkirch, Thorsten - School of Computer Science, University of Nottingham


Collections: Computer Technologies and Information Sciences