Publication details

Semantics of quantum programming language LanQ

Investor logo


Year of publication 2008
Type Article in Periodical
Magazine / Source International Journal of Quantum Information
MU Faculty or unit

Faculty of Informatics

Field Informatics
Keywords LanQ; quantum programming language; quantum process algebra; semantics
Description 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.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.

More info