No Access

SEMANTICS OF QUANTUM PROGRAMMING LANGUAGE LANQ

HYNEK MLNAŘÍK

Laboratory of Quantum Information Processing and Cryptography, Faculty of Informatics, Masaryk University, Brno, Czech Republic

Search for more papers by this author

https://doi.org/10.1142/S0219749908004031Cited by:8 (Source: Crossref)

Abstract

We show a memory model of an imperative concurrent quantum programming language LanQ. The memory model is used to specify the shape of semantical structure upon which the language operational semantics is defined. We also outline the language abilities in the area of formal verification on an example implementation of teleportation protocol.

Keywords:

References

C. H. Bennettet al., Phys. Rev. Lett. 70(13), 1895 (1993), DOI: 10.1103/PhysRevLett.70.1895. Crossref, Web of Science, Google Scholar
D. Cazorlaet al., J. Log. Algebra Program. 55(1–2), 57 (2003), DOI: 10.1016/S1567-8326(02)00040-1. Crossref, Web of Science, Google Scholar
S. J. Gay and R. Nagarajan, Math. Struct. Comput. Sci. 16, 375 (2006), DOI: 10.1017/S0960129506005263. Crossref, Web of Science, Google Scholar
M. Lalire, Développement d'une notation algorithmique pour le calcul quantique, Ph. D. thesis, Grenoble Institute of Technology (2006) . Google Scholar
H. Mlnařík, Quantum programming language LanQ, Ph.D. thesis, Faculty of Informatics, Masaryk University (2007). Also available from http://lanq.sf.net/ . Google Scholar
B. Ömer, Structured quantum programming, Ph.D. thesis, TU Vienna (2003) . Google Scholar
P. Selinger, Math. Struct. Comput. Sci. 14(4), 527 (2004), DOI: 10.1017/S0960129504004256. Crossref, Web of Science, Google Scholar