V originále
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.
Česky
Ve zprávě je prezentován nový imperativní kvantový programovací jazyk LanQ, který byl vyvinut tak, aby umožňoval kombinace klasických a kvantových výpočtů a základní operace s procesy -- jejich vytváření a vzájemnou komunikaci. Jazyk tak lze použít pro implementaci klasických i kvantových algoritmů a protokolů. Jeho syntax je podobná jazyku C, díky čemuž se jej stávající programátoři snadno naučí. V této zprávě je prezentována operační sémantika jazyka. Dále je poskytnut příklad běhu kvantového generátoru náhodných čísel.