Cited in
(32)- Quantum programming languages: a tentative study
- Formal meta-level analysis framework for quantum programming languages
- A framework for quantum-classical cryptographic translation
- SOS formats and meta-theory: 20 years after
- Quantum data and control made easier
- Probabilistic bisimulations for quantum processes
- Reachability analysis of quantum Markov decision processes
- Unconventional Computation
- Commutativity of quantum weakest preconditions
- Generalised quantum weakest preconditions
- Proof rules for the correctness of quantum programs
- Termination of nondeterministic quantum programs
- Quantum patterns and types for entanglement and separability
- Quantum fuzzy inference for knowledge base design in robust intelligent controllers
- LETOS
- Quipper
- Qcompiler
- Pesca
- QCL
- QWire
- ScaffCC
- nQML
- YALLA
- QPL
- QPMC
- QML
- Reasoning about faulty quantum programs
- A probability perspective
- Quantum computation: from a programmer's perspective
- Towards quantum programs verification: from Quipper circuits to QPMC
- Towards implementation of a generalized architecture for high-level quantum programming language
- Quantum loop programs
This page was built for software: qGCL
