qGCL
From MaRDI portal
Software:54940
No author found.
Related Items (20)
Reachability analysis of quantum Markov decision processes ⋮ Commutativity of quantum weakest preconditions ⋮ Towards Quantum Programs Verification: From Quipper Circuits to QPMC ⋮ SOS formats and meta-theory: 20 years after ⋮ Towards implementation of a generalized architecture for high-level quantum programming language ⋮ A probability perspective ⋮ Quantum computation: from a programmer's perspective ⋮ Termination of nondeterministic quantum programs ⋮ Proof rules for the correctness of quantum programs ⋮ Probabilistic bisimulations for quantum processes ⋮ A framework for quantum-classical cryptographic translation ⋮ Quantum programming languages: a tentative study ⋮ Quantum loop programs ⋮ Generalised quantum weakest preconditions ⋮ Quantum fuzzy inference for knowledge base design in robust intelligent controllers ⋮ Unconventional Computation ⋮ Reasoning about faulty quantum programs ⋮ Formal meta-level analysis framework for quantum programming languages ⋮ Quantum Patterns and Types for Entanglement and Separability ⋮ Quantum Data and Control Made Easier
This page was built for software: qGCL
