D 2005

Towards a Categorical Semantics of a High-level Quantum Programming Language

MLNAŘÍK, Hynek

Základní údaje

Originální název

Towards a Categorical Semantics of a High-level Quantum Programming Language

Název česky

Kategorická sémantika kvantového programovacího jazyka vyššího úrovně

Vydání

Brno, Pre-Proceedings of 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005), od s. 17-23, 7 s. 2005

Nakladatel

Faculty of Informatics, Masaryk University

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Česká republika

Utajení

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

Kód RIV

RIV/00216224:14330/05:00013063

Organizační jednotka

Fakulta informatiky

Klíčová slova anglicky

quantum programming language; categorical semantics
Změněno: 21. 11. 2006 10:21, RNDr. Hynek Mlnařík, Ph.D.

Anotace

V originále

A proposal of a category which can serve for definition of a semantics of a programming language that combines both quantum and classical computations.

Česky

Návrh kategorie, která je vhodná pro definici sémantiky programovacího jazyka kombinující kvantové a klasické výpočty.

Návaznosti

GA201/04/1153, projekt VaV
Název: Kvantové zdroje a primitiva
Investor: Grantová agentura ČR, Kvantové zdroje a primitiva
MSM0021622419, záměr
Název: Vysoce paralelní a distribuované výpočetní systémy
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Vysoce paralelní a distribuované výpočetní systémy