SEMANTICS OF QUANTUM PROGRAMMING LANGUAGE LANQ
Hynek Mlnařík · International Journal of Quantum Information · 2008
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.