QWIRE: a core language for quantum circuits
DOI10.1145/3009837.3009894zbMATH Open1380.68087OpenAlexW2563269605WikidataQ130921492 ScholiaQ130921492MaRDI QIDQ5370918FDOQ5370918
Authors:
Publication date: 20 October 2017
Published in: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/3009837.3009894
Recommendations
- \textsc{qPCF}: a language for quantum circuit computations
- \(\mathcal{Q}\)\textsc{wire} practice: formal verification of quantum circuits in Coq
- A categorical model for a quantum circuit description language (extended abstract)
- QPCF: higher-order languages and quantum circuits
- Linear dependent type theory for quantum programming languages: extended abstract
Theory of programming languages (68N15) Quantum computation (81P68) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Cited In (27)
- \(\mathcal{Q}\)\textsc{wire} practice: formal verification of quantum circuits in Coq
- Quantum programming made easy
- Towards large-scale functional verification of universal quantum circuits
- QPCF: higher-order languages and quantum circuits
- \textit{Re}\(\mathcal{Q}\)\textsc{wire}: reasoning about reversible quantum circuits
- An automated deductive verification framework for circuit-building quantum programs
- Software science view on quantum circuit algorithms
- Classical control and quantum circuits in enriched category theory
- Classically time-controlled quantum automata
- Semantics for a lambda calculus for string diagrams
- Linear dependent type theory for quantum programming languages: extended abstract
- Sized Types for Low-Level Quantum Metaprogramming
- A Coq-based infrastructure for quantum programming, verification and simulation
- Title not available (Why is that?)
- Quantum CPOs
- Quantum Hoare type theory: extended abstract
- Generating formally verified quantum Fourier transform algorithms
- A categorical model for a quantum circuit description language (extended abstract)
- A quick overview on the quantum control approach to the lambda calculus
- Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model
- Title not available (Why is that?)
- A modeling and verification framework for optical quantum circuits
- Type-safe quantum programming in Idris
- Typing with Leftovers - A mechanization of Intuitionistic Multiplicative-Additive Linear Logic
- Toward automatic verification of quantum programs
- Automated quantum program verification in dynamic quantum logic
- \textsc{qPCF}: a language for quantum circuit computations
Uses Software
This page was built for publication: QWIRE: a core language for quantum circuits
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5370918)
