QWIRE: a core language for quantum circuits

DOI10.1145/3009837.3009894MaRDI QIDQ5370918zbMATH OpenOpenAlexWikidataFDO

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

zbMATH Keywords

denotational semanticslinear typesquantum circuitsquantum programming languages

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Quantum computation (81P68)

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

Cited in

(34)

• Classical control and quantum circuits in enriched category theory
• An automated deductive verification framework for circuit-building quantum programs
• QPCF: higher-order languages and quantum circuits
• A modeling and verification framework for optical quantum circuits
• \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)
• Towards large-scale functional verification of universal quantum circuits
• \textit{Re}\(\mathcal{Q}\)\textsc{wire}: reasoning about reversible quantum circuits
• scientific article; zbMATH DE number 7364199 (Why is no real title available?)
• Quantum programming made easy
• Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model
• Classical control, quantum circuits and linear logic in enriched category theory
• Sized Types for Low-Level Quantum Metaprogramming
• Software science view on quantum circuit algorithms
• Classically time-controlled quantum automata
• Typing with Leftovers - A mechanization of Intuitionistic Multiplicative-Additive Linear Logic
• Type-safe quantum programming in Idris
• Automated quantum program verification in dynamic quantum logic
• Semantics for a lambda calculus for string diagrams
• A Coq-based infrastructure for quantum programming, verification and simulation
• Quantum CPOs
• Quantum Hoare type theory: extended abstract
• Generating formally verified quantum Fourier transform algorithms
• A quick overview on the quantum control approach to the lambda calculus
• Toward automatic verification of quantum programs
• Typed compositional quantum computation with lenses
• Combining quantum and classical control: syntax, semantics and adequacy
• The quantum monadology
• Q\# as a quantum algorithmic language
• The many-worlds calculus
• A rewriting theory for quantum -calculus
• Typed compositional quantum computation with lenses
• Proto-Quipper with reversing and control

Describes a project that uses

Uses Software

• QWire

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)