Operational Semantics of Quantum Programming Language LanQ

Investor logo

Warning

This publication doesn't include Faculty of Economics and Administration. 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:

You are running an old browser version. We recommend updating your browser to its latest version.