Quantum Programming Language LanQ

We define a typed imperative quantum programming language LanQ that allows programmers to implement any algorithm that is based on either one, or a combination of classical or quantum computation. The language syntax is similar to that of C language and forces programmers to structure their programs...

Full description

Saved in:
Bibliographic Details
Main Author: Mlnařík, Hynek (Dissertant)
Other Authors: Gruska, Jozef, 1933- (Thesis advisor)
Format: Thesis Manuscript
Language:English
Published: 2007.
Subjects:
Online Access:http://is.muni.cz/th/4326/fi_d/
Cover Image
LEADER 03820ctm a22007457a 4500
001 MUB01000534397
003 CZ BrMU
005 20080519160108.0
008 071130s2007 xr ||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2017-03-06 
035 |a (ISMU-VSKP)84137 
040 |a BOD114  |b cze  |d BOD018 
080 |a 004.43  |2 MRF 
100 1 |a Mlnařík, Hynek  |% UČO 4326  |* [absolvent FI MU]  |4 dis 
245 1 0 |a Quantum Programming Language LanQ  |h [rukopis] /  |c Hynek Mlnařík. 
260 |c 2007. 
300 |a vii, 145 s. 
500 |a Vedoucí práce: Jozef Gruska. 
502 |a Dizertace (Ph.D.)--Masarykova univerzita, Fakulta informatiky, 2007. 
520 2 9 |a We define a typed imperative quantum programming language LanQ that allows programmers to implement any algorithm that is based on either one, or a combination of classical or quantum computation. The language syntax is similar to that of C language and forces programmers to structure their programs into smaller pieces of code (methods, blocks) what makes the program better readable and maintainable compared to programs in unstructured languages. It allows programmers to assign a quantum system to several variables in such a way that all quantum principles, namely no-cloning and no-deleting, are obeyed. The language also offers process algebraic features such as creation a new process (this is done by forking a new process from a running one) and interprocess communication. It therefore supports implementation of multiparty protocols. The resources sent over a channel are handled so that they are always owned by at most one process at one time. In the thesis, we formally describe the.  |9 eng 
650 0 7 |a programovací jazyky  |7 ph115890  |2 czenas 
650 0 9 |a programming languages  |2 eczenas 
655 7 |a disertace  |7 fd132024  |2 czenas 
658 |a Informatika (čtyřleté)  |b Informatika  |c FI D-IN4 IN (IN)  |2 CZ-BrMU 
700 1 |a Gruska, Jozef,  |d 1933-  |7 ola2007365192  |% UČO 3026  |4 ths 
710 2 |a Masarykova univerzita.  |b Fakulta informatiky  |7 kn20010709274  |4 dgg 
856 4 1 |u http://is.muni.cz/th/4326/fi_d/ 
CAT |c 20071130  |l MUB01  |h 0451 
CAT |c 20080429  |l MUB01  |h 1814 
CAT |c 20080429  |l MUB01  |h 1828 
CAT |a KREKOVA  |b 02  |c 20080519  |l MUB01  |h 1601 
CAT |c 20091203  |l MUB01  |h 0201 
CAT |c 20091203  |l MUB01  |h 1844 
CAT |c 20100428  |l MUB01  |h 1006 
CAT |a BATCH-UPD  |b 00  |c 20100501  |l MUB01  |h 1143 
CAT |a BATCH-UPD  |b 00  |c 20100929  |l MUB01  |h 0325 
CAT |c 20110627  |l MUB01  |h 1907 
CAT |c 20110627  |l MUB01  |h 2316 
CAT |a batch  |b 00  |c 20120324  |l MUB01  |h 0108 
CAT |a POSPEL  |b 02  |c 20120403  |l MUB01  |h 1417 
CAT |a POSPEL  |b 02  |c 20120403  |l MUB01  |h 1419 
CAT |a POSPEL  |b 02  |c 20120417  |l MUB01  |h 0740 
CAT |a POSPEL  |b 02  |c 20120626  |l MUB01  |h 0801 
CAT |a BATCH  |b 00  |c 20130303  |l MUB01  |h 0936 
CAT |a POSPEL  |b 02  |c 20130530  |l MUB01  |h 0738 
CAT |a POSPEL  |b 02  |c 20130605  |l MUB01  |h 0736 
CAT |a HANAV  |b 02  |c 20150811  |l MUB01  |h 1138 
CAT |a HANAV  |b 02  |c 20150831  |l MUB01  |h 1541 
CAT |c 20150901  |l MUB01  |h 1439 
CAT |c 20150921  |l MUB01  |h 1359 
CAT |a BATCH  |b 00  |c 20151225  |l MUB01  |h 2310 
CAT |c 20170301  |l MUB01  |h 1213 
CAT |c 20170306  |l MUB01  |h 1038 
CAT |c 20210614  |l MUB01  |h 0928 
CAT |c 20210614  |l MUB01  |h 1917 
CAT |a BATCH  |b 00  |c 20210724  |l MUB01  |h 1132 
M53 0 |a quantum programming language 
M53 0 |a syntactic predicate RetOk 
M53 0 |a kvantový programovací jazyk 
M53 0 |a LanQ 
M53 0 |a syntaktický predikát RetOk 
LOW |a POSLANO DO SKCR  |b 2017-03-06 
994 - 1 |l MUB01  |l MUB01  |m VYSPR  |1 FI  |a Fakulta informatiky  |3 Diz. práce 2007  |5 42005D2568  |8 20080519  |f 72  |f Týdenní  |r 20080519 
AVA |a INF50  |b FI  |d Diz. práce 2007  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 0