We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.LO

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Logic in Computer Science

Title: Verified Optimization in a Quantum Intermediate Representation

Abstract: We present sqire, a low-level language for quantum computing and verification. sqire uses a global register of quantum bits, allowing easy compilation to and from existing `quantum assembly' languages and simplifying the verification process. We demonstrate the power of sqire as an intermediate representation of quantum programs by verifying a number of useful optimizations, and we demonstrate sqire's use as a tool for general verification by proving several quantum programs correct.
Comments: Superceded by arXiv:1912.02250
Subjects: Logic in Computer Science (cs.LO); Emerging Technologies (cs.ET); Programming Languages (cs.PL); Quantum Physics (quant-ph)
Cite as: arXiv:1904.06319 [cs.LO]
  (or arXiv:1904.06319v4 [cs.LO] for this version)

Submission history

From: Robert Rand [view email]
[v1] Fri, 12 Apr 2019 16:54:17 GMT (33kb)
[v2] Tue, 23 Apr 2019 20:59:06 GMT (46kb)
[v3] Fri, 31 May 2019 16:08:47 GMT (46kb)
[v4] Fri, 6 Dec 2019 06:17:23 GMT (46kb)

Link back to: arXiv, form interface, contact.