QWIRE: a core language for quantum circuits
From MaRDI portal
Publication:5370918
DOI10.1145/3009837.3009894zbMath1380.68087OpenAlexW2563269605MaRDI 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
Quantum computation (81P68) Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
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
