Publication details
Semantics of quantum programming language LanQ
| Authors | |
|---|---|
| Year of publication | 2008 |
| Type | Article in Periodical |
| Magazine / Source | International Journal of Quantum Information |
| MU Faculty or unit | |
| Citation | |
| Field | Informatics |
| Keywords | LanQ; quantum programming language; quantum process algebra; semantics |
| Description | 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. |
| Related projects: |