A hierarchy of quantum semantics

DOI10.1016/J.ENTCS.2008.10.028MaRDI QIDQ2864503zbMATH OpenOpenAlexFDO

Authors Simon Perdrix

Publication date 6 December 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2008.10.028

zbMATH Keywords

admissable transformationQILquantum programming semantics

Mathematics Subject Classification ID

Quantum coding (general) (81P70) Semantics in the theory of computing (68Q55)

Recommendations

• Formal semantics of a classical-quantum language
• Towards a quantum calculus (work in progress, extended abstract)
• scientific article; zbMATH DE number 5708042
• Semantics for a quantum programming language by operator algebras
• Quantum programs with classical output streams (extended abstract)

Cites work

• scientific article; zbMATH DE number 1579275 (Why is no real title available?)
• scientific article; zbMATH DE number 4179422 (Why is no real title available?)
• A partial order on classical and quantum states
• Classically-controlled quantum computation
• Completely positive linear maps on complex matrices
• Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
• Dagger compact closed categories and completely positive maps (extended abstract)
• Functional and Logic Programming
• Quantum Entanglement Analysis Based on Abstract Interpretation
• Quantum measurements without sums
• Quantum programming languages: survey and bibliography
• Towards a quantum programming language

Cited in

(8)

• Quantum programs with classical output streams (extended abstract)
• Formal semantics of a classical-quantum language
• GRADATIONAL ACCURACY AND NONCLASSICAL SEMANTICS
• Analysis of quantum entanglement in quantum programs using stabilizer formalism
• Quantum aspects of semantic analysis and symbolic artificial intelligence
• Towards a quantum calculus (work in progress, extended abstract)
• Compositional and holistic quantum computational semantics
• scientific article; zbMATH DE number 5667324 (Why is no real title available?)

Describes a project that uses

Uses Software

• QPL
• QML

This page was built for publication: A hierarchy of quantum semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2864503)