Operational Semantics of Quantum Programming Language LanQ

Warning

This publication doesn't include Faculty of Sports Studies. It includes Faculty of Informatics. Official publication website can be found on muni.cz.

Authors	MLNAŘÍK Hynek
Year of publication	2006
Type	Monograph
MU Faculty or unit	Faculty of Informatics
Citation
Description	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.
Related projects:	Quantum Resources and primitives Highly Parallel and Distributed Computing Systems