Can I read Semantics and Simulation of Communication in Quantum Programming on EtoBox?

Semantics and Simulation of Communication in Quantum Programming by Mauerer, Wolfgang is a scholarly article available to read on EtoBox.

What is Semantics and Simulation of Communication in Quantum Programming about?

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.

Author

Mauerer, Wolfgang

Published

2005

Language

EN