MLNAŘÍK, Hynek. Towards a Categorical Semantics of a High-level Quantum Programming Language. In Pre-Proceedings of 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005). Brno: Faculty of Informatics, Masaryk University, 2005, s. 17-23.
Další formáty:   BibTeX LaTeX RIS
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ě
Autoři MLNAŘÍK, Hynek (203 Česká republika, garant).
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
Originální 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
Štítky categorical semantics, quantum programming language
Změnil Změnil: RNDr. Hynek Mlnařík, Ph.D., učo 4326. Změněno: 21. 11. 2006 10:21.
Anotace
A proposal of a category which can serve for definition of a semantics of a programming language that combines both quantum and classical computations.
Anotace č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 VaVNázev: Kvantové zdroje a primitiva
Investor: Grantová agentura ČR, Kvantové zdroje a primitiva
MSM0021622419, záměrNá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
VytisknoutZobrazeno: 4. 8. 2024 22:12