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.
|