2006
Operational Semantics of Quantum Programming Language LanQ
MLNAŘÍK, HynekZákladní údaje
Originální název
Operational Semantics of Quantum Programming Language LanQ
Název česky
Operační sémantika kvantového programovacího jazyka LanQ
Autoři
MLNAŘÍK, Hynek (203 Česká republika, garant)
Vydání
Brno, 43 s. Technical Reports, 2006
Nakladatel
FI MU
Další údaje
Jazyk
angličtina
Typ výsledku
Odborná kniha
Obor
10201 Computer sciences, information science, bioinformatics
Stát vydavatele
Česká republika
Utajení
není předmětem státního či obchodního tajemství
Odkazy
Kód RIV
RIV/00216224:14330/06:00016192
Organizační jednotka
Fakulta informatiky
Klíčová slova anglicky
LanQ;quantum programming language;quantum process algebra
Změněno: 21. 12. 2006 15:28, RNDr. Hynek Mlnařík, Ph.D.
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.
Návaznosti
| GA201/04/1153, projekt VaV |
| ||
| MSM0021622419, záměr |
|