Semantics of quantum programming language LanQ
| MLNAŘÍK, Hynek. Semantics of quantum programming language LanQ. International Journal of Quantum Information. World Scientific, 2008, vol. 6, 1 supp, p. 733-738. ISSN 0219-7499. |
|
Other formats:
BibTeX
LaTeX
RIS
|
| Basic 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 | |
|---|---|
| Original language | English |
| Type of outcome | Article in a journal |
| Field of Study | 10201 Computer sciences, information science, bioinformatics |
| Country of publisher | Singapore |
| Confidentiality degree | is not subject to a state or trade secret |
| 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 | LanQ, quantum process algebra, quantum programming language, semantics |
| Tags | International impact, Reviewed |
| Changed by | Changed by: RNDr. Hynek Mlnařík, Ph.D., učo 4326. Changed: 4/8/2008 12:18. |
| Abstract |
|---|
| 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. |
| Abstract (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 | |
PrintDisplayed: 1/6/2024 06:00