qGCL
From MaRDI portal
Software:54940
swMATH39240MaRDI QIDQ54940FDOQ54940
Author name not available (Why is that?)
Cited In (20)
- Quantum programming languages: a tentative study
- Towards Quantum Programs Verification: From Quipper Circuits to QPMC
- Formal meta-level analysis framework for quantum programming languages
- A framework for quantum-classical cryptographic translation
- Quantum data and control made easier
- Probabilistic bisimulations for quantum processes
- SOS formats and meta-theory: 20 years after
- 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
- Reasoning about faulty quantum programs
- A probability perspective
- Quantum computation: from a programmer's perspective
- Towards implementation of a generalized architecture for high-level quantum programming language
- Quantum loop programs
This page was built for software: qGCL
