Results 1  10
of
47
Quantum Programming Languages  Survey and Bibliography
 UNDER CONSIDERATION FOR PUBLICATION IN MATH. STRUCT. IN COMP. SCIENCE
, 2006
"... The field of quantum programming languages is developing rapidly and there is a surprisingly large literature. Research in this area includes the design of programming languages for quantum computing, the application of established semantic and logical techniques to the foundations of quantum mechan ..."
Abstract

Cited by 27 (2 self)
 Add to MetaCart
The field of quantum programming languages is developing rapidly and there is a surprisingly large literature. Research in this area includes the design of programming languages for quantum computing, the application of established semantic and logical techniques to the foundations of quantum mechanics, and the design of compilers for quantum programming languages. This article justifies the study of quantum programming languages, presents the basics of quantum computing, surveys the literature in quantum programming languages, and indicates directions for future research.
Structuring quantum effects: Superoperators as arrows
 Mathematical Structures in Computer Science ?(?):?–? Also arXiv:quantph/0501151
, 2006
"... ..."
Reversing algebraic process calculi
 in: FOSSACS’06, LNCS 3921 (2006
, 2006
"... Abstract. Reversible computation has a growing number of promising application areas such as the modelling of biochemical systems, program debugging and testing, and even programming languages for quantum computing. We formulate a procedure for converting operators of standard algebraic process calc ..."
Abstract

Cited by 14 (3 self)
 Add to MetaCart
Abstract. Reversible computation has a growing number of promising application areas such as the modelling of biochemical systems, program debugging and testing, and even programming languages for quantum computing. We formulate a procedure for converting operators of standard algebraic process calculi such as CCS, ACP and CSP into reversible operators, while preserving their operational semantics. 1
The Effects of
 Artificial Sources of Water on Rangeland Biodiversity. Environment Australia and CSIRO
, 1997
"... “Turing hoped that his abstractedpapertape model was so simple, so transparent and well defined, that it would not depend on any assumptions about physics that could conceivably be falsified, and therefore that it could become the basis of an abstract theory of computation that was independent of ..."
Abstract

Cited by 10 (5 self)
 Add to MetaCart
“Turing hoped that his abstractedpapertape model was so simple, so transparent and well defined, that it would not depend on any assumptions about physics that could conceivably be falsified, and therefore that it could become the basis of an abstract theory of computation that was independent of the underlying physics. ‘He thought, ’ as Feynman once put it, ‘that he understood paper. ’ But he was mistaken. Real, quantummechanical paper is wildly different from the abstract stuff that the Turing machine uses. The Turing machine is entirely classical...”
QML: Quantum data and control
, 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 computation. QML is based on strict linear logic, hence weakenings, which may lead to decoherence, hav ..."
Abstract

Cited by 6 (1 self)
 Add to MetaCart
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 computation. QML is based on strict linear logic, hence weakenings, which may lead to decoherence, have to be explicit. We present an operational semantics of QML programs using quantum circuits, and a denotational semantics using superoperators.
Towards modelchecking quantum security protocols
 PROCEEDINGS OF THE FIRST WORKSHOP ON QUANTUM SECURITY: QSEC’07
, 2007
"... Logics for reasoning about quantum states have been given in the literature. In this paper, we extend one such logic with temporal constructs mimicking the standard computational tree logic used to reason about classical transition systems. We investigate the modelchecking problem for this temporal ..."
Abstract

Cited by 5 (2 self)
 Add to MetaCart
Logics for reasoning about quantum states have been given in the literature. In this paper, we extend one such logic with temporal constructs mimicking the standard computational tree logic used to reason about classical transition systems. We investigate the modelchecking problem for this temporal quantum logic and illustrate its use by reasoning about the BB84 key distribution protocol.
1 Quantum Lambda Calculus
"... We discuss the design of a typed lambda calculus for quantum computation. After a brief discussion of the role of higherorder functions in quantum information theory, we define the quantum lambda calculus and its operational semantics. Safety invariants, such as the nocloning property, are enforce ..."
Abstract

Cited by 4 (2 self)
 Add to MetaCart
We discuss the design of a typed lambda calculus for quantum computation. After a brief discussion of the role of higherorder functions in quantum information theory, we define the quantum lambda calculus and its operational semantics. Safety invariants, such as the nocloning property, are enforced by a static type system that is based on intuitionistic linear logic. We also describe a type inference algorithm, and a categorical semantics. 1.1
Quantum Programming Languages: An Introductory Overview
, 2006
"... The present article gives an introductory overview of the novel field of quantum programming languages (QPLs) from a pragmatic perspective. First, after a short summary of basic notations of quantum mechanics, some of the goals and design issues are surveyed, which motivate the research in this area ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
The present article gives an introductory overview of the novel field of quantum programming languages (QPLs) from a pragmatic perspective. First, after a short summary of basic notations of quantum mechanics, some of the goals and design issues are surveyed, which motivate the research in this area. Then, several of the approaches are described in more detail. The article concludes with a brief survey of current research activities and a tabular summary of a selection of QPLs, which have been published so far.
From reversible to irreversible computations
 Proceedings of the 4th International Workshop on Quantum Programming Languages, Electronic Notes in Theoretical Computer Science. Elsevier Science
, 2006
"... ..."
Quantum computation tree logic – model checking and complete calculus
 International Journal of Quantum Information
"... Logics for reasoning about quantum states and their evolution have been given in the literature. In this paper we consider Quantum Computation Tree Logic (QCTL), which adds temporal modalities to exogenous quantum propositional logic. We give a sound and complete axiomatization of QCTL and combine t ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
Logics for reasoning about quantum states and their evolution have been given in the literature. In this paper we consider Quantum Computation Tree Logic (QCTL), which adds temporal modalities to exogenous quantum propositional logic. We give a sound and complete axiomatization of QCTL and combine the standard CTL modelchecking algorithm with the dEQPL modelchecking algorithm to obtain a modelchecking algorithm for QCTL. Finally we illustrate the use of the logic by reasoning about the BB84 key distribution protocol.