Další formáty:
BibTeX
LaTeX
RIS
@book{706560,
author = {Mlnařík, Hynek},
address = {Brno},
keywords = {LanQ;quantum programming language;quantum process algebra},
language = {eng},
location = {Brno},
note = {FIMU-RS-2006-10},
publisher = {FI MU},
title = {Operational Semantics of Quantum Programming Language LanQ},
url = {http://www.fi.muni.cz/reports/files/2006/FIMU-RS-2006-10.pdf},
year = {2006}
}
TY - BOOK
ID - 706560
AU - Mlnařík, Hynek
PY - 2006
TI - Operational Semantics of Quantum Programming Language LanQ
VL - Technical Reports
PB - FI MU
CY - Brno
N1 - FIMU-RS-2006-10
KW - LanQ;quantum programming language;quantum process algebra
UR - http://www.fi.muni.cz/reports/files/2006/FIMU-RS-2006-10.pdf
N2 - 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.
ER -
MLNAŘÍK, Hynek. \textit{Operational Semantics of Quantum Programming Language LanQ}. Brno: FI MU, 2006, 43 s. Technical Reports.
|
