Operational Semantics of Quantum Programming Language LanQ

MLNAŘÍK, Hynek. Operational Semantics of Quantum Programming Language LanQ. Brno: FI MU, 2006, 43 pp. Technical Reports.

Basic information

• Original name: Operational Semantics of Quantum Programming Language LanQ
• Name in Czech: Operační sémantika kvantového programovacího jazyka LanQ
• Authors: MLNAŘÍK, Hynek (203 Czech Republic, guarantor).
• Edition: Brno, 43 pp. Technical Reports, 2006.
• Publisher: FI MU

Other information

• Original language: English
• Type of outcome: Book on a specialized topic
• Field of Study: 10201 Computer sciences, information science, bioinformatics
• Country of publisher: Czech Republic
• Confidentiality degree: is not subject to a state or trade secret
• WWW: URL
• RIV identification code: RIV/00216224:14330/06:00016192
• Organization unit: Faculty of Informatics
• Keywords in English: LanQ;quantum programming language;quantum process algebra
• Tags: LanQ, quantum process algebra, quantum programming language

Abstract

We present new imperative quantum programming language LanQ which was designed to support combination of quantum and classical programming and basic process operations -- process creation and interprocess communication. The language can thus be used for implementing both classical and quantum algorithms and protocols. Its syntax is similar to that of C language what makes it easy to learn for existing programmers. In this paper, we present operational semantics of the language. We provide an example run of a quantum random number generator.

Abstract (in Czech)

Ve zprávě je prezentován nový imperativní kvantový programovací jazyk LanQ, který byl vyvinut tak, aby umožňoval kombinace klasických a kvantových výpočtů a základní operace s procesy -- jejich vytváření a vzájemnou komunikaci. Jazyk tak lze použít pro implementaci klasických i kvantových algoritmů a protokolů. Jeho syntax je podobná jazyku C, díky čemuž se jej stávající programátoři snadno naučí. V této zprávě je prezentována operační sémantika jazyka. Dále je poskytnut příklad běhu kvantového generátoru náhodných čísel.

Links

• GA201/04/1153, research and development project: Name: Kvantové zdroje a primitiva

Investor: Czech Science Foundation, Quantum Resources and primitives

• 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