QWIRE: a core language for quantum circuits

DOI10.1145/3009837.3009894zbMath1380.68087OpenAlexW2563269605WikidataQ130921492 ScholiaQ130921492MaRDI QIDQ5370918

No author found.

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 semanticsquantum circuitslinear typesquantum programming languages

Mathematics Subject Classification ID

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

Related Items (17)

Classical control and quantum circuits in enriched category theory ⋮ Linear Dependent Type Theory for Quantum Programming Languages ⋮ Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model ⋮ A modeling and verification framework for optical quantum circuits ⋮ Software science view on quantum circuit algorithms ⋮ Classically time-controlled quantum automata ⋮ A Categorical Model for a Quantum Circuit Description Language (Extended Abstract) ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Toward automatic verification of quantum programs ⋮ An automated deductive verification framework for circuit-building quantum programs ⋮ Typing with Leftovers - A mechanization of Intuitionistic Multiplicative-Additive Linear Logic ⋮ Unnamed Item ⋮ Sized Types for Low-Level Quantum Metaprogramming ⋮ QPCF: higher-order languages and quantum circuits

Uses Software

• QWire

This page was built for publication: QWIRE: a core language for quantum circuits