The report FIMU-RS-2006-10
Operational Semantics of Quantum Programming Language LanQ
by Hynek Mlnařík, December 2006, 43 pages.
We present new 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. We provide an example run of a quantum random number generator.
Please install a newer browser for this site to function properly.