×

QPEL: quantum program and effect language. (English) Zbl 1464.68068

Coecke, Bob (ed.) et al., Proceedings of the 11th workshop on quantum physics and logic, QPL’14, Kyoto, Japan, June 4–6, 2014. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 172, 133-153 (2014).
Summary: We present the syntax and rules of deduction of QPEL (Quantum Program and Effect Language), a language for describing both quantum programs, and properties of quantum programs – effects on the appropriate Hilbert space. We show how semantics may be given in terms of state-and-effect triangles, a categorical setting that allows semantics in terms of Hilbert spaces, \(C^\ast\)-algebras, and other categories. We prove soundness and completeness results that show the derivable judgements are exactly those provable in all state-and-effect triangles.
For the entire collection see [Zbl 1434.03010].

MSC:

68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
18C50 Categorical semantics of formal languages
81P68 Quantum computation

Software:

QPL; QPEL
PDFBibTeX XMLCite
Full Text: arXiv Link