Další formáty:
BibTeX
LaTeX
RIS
@article{773897,
author = {Mlnařík, Hynek},
article_number = {1 supp},
keywords = {LanQ; quantum programming language; quantum process algebra; semantics},
language = {eng},
issn = {0219-7499},
journal = {International Journal of Quantum Information},
title = {Semantics of quantum programming language LanQ},
volume = {6},
year = {2008}
}
TY - JOUR
ID - 773897
AU - Mlnařík, Hynek
PY - 2008
TI - Semantics of quantum programming language LanQ
JF - International Journal of Quantum Information
VL - 6
IS - 1 supp
SP - 733-738
EP - 733-738
PB - World Scientific
SN - 02197499
KW - LanQ
KW - quantum programming language
KW - quantum process algebra
KW - semantics
N2 - We show a memory model of an imperative concurrent quantum programming language LanQ. The memory model is used to specify the shape of semantical structure upon which the language operational semantics is defined. We also outline the language abilities in the area of formal verification on an example implementation of teleportation protocol.
ER -
MLNAŘÍK, Hynek. Semantics of quantum programming language LanQ. \textit{International Journal of Quantum Information}. World Scientific, 2008, roč.~6, 1 supp, s.~733-738. ISSN~0219-7499.
|
