J
2008
Semantics of quantum programming language LanQ
MLNAŘÍK, Hynek
Basic information
Original name
Semantics of quantum programming language LanQ
Name in Czech
Sémantika kvantového programovacího jazyka LanQ
Edition
International Journal of Quantum Information, World Scientific, 2008, 0219-7499
Other information
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
Keywords in English
LanQ; quantum programming language; quantum process algebra; semantics
Tags
International impact, Reviewed
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 | | Name: Výpočty, komunikace a bezpečnost kvantových distribuovaných systémů | | Investor: Czech Science Foundation, Quantum multipartite computation, communication and security |
|
| MSM0021622419, plan (intention) | | Name: Vysoce paralelní a distribuované výpočetní systémy | | Investor: Ministry of Education, Youth and Sports of the CR, Highly Parallel and Distributed Computing Systems |
|
Displayed: 16/11/2024 13:56