Quantum programming
From MaRDI portal
Recommendations
Cited in
(52)- Reasoning about faulty quantum programs
- Reachability analysis of quantum Markov decision processes
- From symmetric pattern-matching to quantum control
- Towards implementation of a generalized architecture for high-level quantum programming language
- Distributed quantum programming
- A proof system for disjoint parallel quantum programs
- Formal meta-level analysis framework for quantum programming languages
- Commutativity of quantum weakest preconditions
- Termination of nondeterministic quantum programs
- Proof rules for the correctness of quantum programs
- Probabilistic bisimulations for quantum processes
- Compiling quantum programs
- Classical concepts in quantum programming
- An algebra of pure quantum programming
- Quantum patterns and types for entanglement and separability
- Quantum programs with classical output streams (extended abstract)
- Quantum programming with mixed states
- An introduction to quantum programming in Quipper
- Quantum data and control made easier
- Selected topics in quantum programming theory
- Distributed Quantum Programming
- Towards quantum programs verification: from Quipper circuits to QPMC
- Shaded tangles for the design and verification of quantum programs (extended abstract)
- The quantum IO monad
- Quantum Predicative Programming
- The Arrow Calculus as a Quantum Programming Language
- Reasoning about general quantum programs over mixed states
- A logic for formal verification of quantum programs
- Quantum computation: from a programmer's perspective
- Towards a quantum programming language
- scientific article; zbMATH DE number 7364199 (Why is no real title available?)
- Quantum Programs as Kleisli Maps
- Quantum alternation: prospects and problems
- Quantum programming made easy
- Communicating quantum processes
- FJQuantum. A quantum object oriented language
- Functional and Logic Programming
- Quantum programming languages: survey and bibliography
- qGCL
- \(Q|SI\rangle \): a quantum programming environment
- A probability perspective
- Foundations of quantum programming
- Quantum weakest preconditions for reasoning about expected runtimes of quantum programs
- A quick overview on the quantum control approach to the lambda calculus
- Toward automatic verification of quantum programs
- Checking continuous stochastic logic against quantum continuous-time Markov chains
- Quantum weakest preconditions for reasoning about expected runtimes of quantum programs
- Programming with quantum communication
- SOS formats and meta-theory: 20 years after
- Quantum programming languages: a tentative study
- Quantum loop programs
- Generalised quantum weakest preconditions
This page was built for publication: Quantum programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2721095)
