Operational Semantics and Type Soundness of Quantum Programming Language LanQ

Details Operational Semantics and Type Soundness of Quantum Programming Language LanQ Operational Semantics and Type Soundness of Quantum Programming Language LanQ

2007-08-07

arxiv.org/abs/0708.0890v1

Physics

Quantum Physics

71 pages, 16 figures; simulator available at http://lanq.sf.net/

Scientific paper

We present an imperative quantum programming language LanQ which was designed to support combination of quantum and classical programming and basic process operations - process creation and interprocess communication. The language can thus be used for implementing both classical and quantum algorithms and protocols. Its syntax is similar to that of C language what makes it easy to learn for existing programmers. In this paper, we present operational semantics of the language and a proof of type soundness of the noncommunicating part of the language. We provide an example run of a quantum random number generator.

Affiliated with

Also associated with

No associations

Rating

Operational Semantics and Type Soundness of Quantum Programming Language LanQ 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 Operational Semantics and Type Soundness of Quantum Programming Language LanQ, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Operational Semantics and Type Soundness of Quantum Programming Language LanQ will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-170191