B 2006

Operational Semantics of Quantum Programming Language LanQ

MLNAŘÍK, Hynek

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

Language

English

Type of outcome

Odborná kniha

Field of Study

10201 Computer sciences, information science, bioinformatics

Country of publisher

Czech Republic

Confidentiality degree

není předmětem státního či obchodního tajemství

References:

RIV identification code

RIV/00216224:14330/06:00016192

Organization unit

Faculty of Informatics

Keywords in English

LanQ;quantum programming language;quantum process algebra

Tags

Změněno: 21/12/2006 15:28, RNDr. Hynek Mlnařík, Ph.D.

Abstract

ORIG CZ

V originále

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.

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