Detailed Information on Publication Record
2008
Semantics of quantum programming language LanQ
MLNAŘÍK, HynekBasic information
Original name
Semantics of quantum programming language LanQ
Name in Czech
Sémantika kvantového programovacího jazyka LanQ
Authors
MLNAŘÍK, Hynek (203 Czech Republic, guarantor)
Edition
International Journal of Quantum Information, World Scientific, 2008, 0219-7499
Other information
Language
English
Type of outcome
Článek v odborném periodiku
Field of Study
10201 Computer sciences, information science, bioinformatics
Country of publisher
Singapore
Confidentiality degree
není předmětem státního či obchodního tajemství
Impact factor
Impact factor: 0.774
RIV identification code
RIV/00216224:14330/08:00024848
Organization unit
Faculty of Informatics
UT WoS
000258398400026
Keywords in English
LanQ; quantum programming language; quantum process algebra; semantics
Tags
International impact, Reviewed
Změněno: 4/8/2008 12:18, RNDr. Hynek Mlnařík, Ph.D.
V originále
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.
In Czech
V článku je popsán paměťový model imperativního konkurentního kvantového programovacího jazyka LanQ. Paměťový model je použit pro určení tvaru struktury, na níž je definována operační sémantika tohoto jazyka. Dále jsou přiblíženy možnosti jazyka v oblasti formálních verifikací, a to na příkladu implementace teleportačního protokolu.
Links
| GA201/07/0603, research and development project |
| ||
| MSM0021622419, plan (intention) |
|