2008
Semantics of quantum programming language LanQ
MLNAŘÍK, HynekZákladní údaje
Originální název
Semantics of quantum programming language LanQ
Název česky
Sémantika kvantového programovacího jazyka LanQ
Autoři
MLNAŘÍK, Hynek (203 Česká republika, garant)
Vydání
International Journal of Quantum Information, World Scientific, 2008, 0219-7499
Další údaje
Jazyk
angličtina
Typ výsledku
Článek v odborném periodiku
Obor
10201 Computer sciences, information science, bioinformatics
Stát vydavatele
Singapur
Utajení
není předmětem státního či obchodního tajemství
Impakt faktor
Impact factor: 0.774
Kód RIV
RIV/00216224:14330/08:00024848
Organizační jednotka
Fakulta informatiky
UT WoS
000258398400026
Klíčová slova anglicky
LanQ; quantum programming language; quantum process algebra; semantics
Příznaky
Mezinárodní význam, Recenzováno
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.
Česky
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.
Návaznosti
| GA201/07/0603, projekt VaV |
| ||
| MSM0021622419, záměr |
|