Fetching the paper…

Reading the bibliography…

2017

Verifying Quantum Programs: From Quipper to QPMC

Anticoli, Linda, Piazza, Carla, Taglialegne, Leonardo et al.

Original
PDF
Post on X

Understand

In this paper we present a translation from the quantum programming language Quipper to the QPMC model checker, with the main aim of verifying Quipper programs.

Quipper is an embedded functional programming language for quantum computation.
It is above all a circuit description language, for this reason it uses the vector state formalism and its main purpose is to make circuit implementation easy providing high level operations for circuit manipulation.
Quipper provides both an high-level circuit building interface and a simulator.

Verifying Quantum Programs: From Quipper to QPMC · Around

Built on

Conventions for quantum pseudocode
E. Knill · 1996
Earlier work this paper cites.
Lecture Notes for Physics 229: Quantum Information and Computation
J. Preskill · 1998
Earlier work this paper cites.
Prism 4.0: Verification of probabilistic real- time systems
M. Kwiatkowska, G. Norman, and D. Parker · 2011
Earlier work this paper cites.

Similar

Quantum Computation and Quantum Information
M.A. Nielsen and I.L. Chuang · 2011
Cited alongside, same era.
Model checking quantum markov chains
Y. Feng, N. Yu, and M. Ying · 2013
Cited alongside, same era.
Quipper: A scalable quantum programming language
A.S. Green, P.L. Lumsdaine, N.J. Ross, P. Selinger, and B. Valiron · 2013
Cited alongside, same era.

Then

Quipper: concrete resource estimation in quantum algorithms
J.M. Smith, N.J. Ross, P. Selinger, and B. Valiron · 2014
Later among the works it cites.
Qpmc: A model checker for quantum programs and protocols
Y. Feng, E. M. Hahn, A. Turrini, and L. Zhang · 2015
Later among the works it cites.

Beyond the bibliography

alphaXiv searches the wider corpus for related work and actual follow-ups.

Open on alphaXiv

alphaXiv is searching for related work…