Semantics of quantum programming language LanQ
MLNAŘÍK, Hynek. Semantics of quantum programming language LanQ. International Journal of Quantum Information. World Scientific, 2008, roč. 6, 1 supp, s. 733-738. ISSN 0219-7499. |
Další formáty:
BibTeX
LaTeX
RIS
|
Zá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 | |
---|---|
Originální 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 |
Štítky | LanQ, quantum process algebra, quantum programming language, semantics |
Příznaky | Mezinárodní význam, Recenzováno |
Změnil | Změnil: RNDr. Hynek Mlnařík, Ph.D., učo 4326. Změněno: 4. 8. 2008 12:18. |
Anotace |
---|
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. |
Anotace č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 | Název: Výpočty, komunikace a bezpečnost kvantových distribuovaných systémů |
Investor: Grantová agentura ČR, Výpočty, komunikace a bezpečnost kvantových distribuovaných systémů | |
MSM0021622419, záměr | Název: Vysoce paralelní a distribuované výpočetní systémy |
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Vysoce paralelní a distribuované výpočetní systémy |
VytisknoutZobrazeno: 16. 10. 2024 00:53