Informace o publikaci
Semantics of quantum programming language LanQ
| Název česky | Sémantika kvantového programovacího jazyka LanQ |
|---|---|
| Autoři | |
| Rok publikování | 2008 |
| Druh | Článek v odborném periodiku |
| Časopis / Zdroj | International Journal of Quantum Information |
| Fakulta / Pracoviště MU | |
| Citace | |
| Obor | Informatika |
| Klíčová slova | LanQ; quantum programming language; quantum process algebra; semantics |
| Popis | 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. |
| Související projekty: |