Semantics and simulation of communication in quantum programming

Details Semantics and simulation of communication in quantum programming Semantics and simulation of communication in quantum programming

2005-11-15

arxiv.org/abs/quant-ph/0511145v1

Physics

Quantum Physics

Master's thesis, 101 pages

Scientific paper

We present the quantum programming language cQPL which is an extended version of QPL [P. Selinger, Math. Struct. in Comp. Sci. 14(4):527-586, 2004]. It is capable of quantum communication and it can be used to formulate all possible quantum algorithms. Additionally, it possesses a denotational semantics based on a partial order of superoperators and uses fixed points on a generalised Hilbert space to formalise (in addition to all standard features expected from a quantum programming language) the exchange of classical and quantum data between an arbitrary number of participants. Additionally, we present the implementation of a cQPL compiler which generates code for a quantum simulator.

Affiliated with

Also associated with

No associations

Rating

Semantics and simulation of communication in quantum programming does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Semantics and simulation of communication in quantum programming, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Semantics and simulation of communication in quantum programming will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-7918