Fetching the paper…
Reading the bibliography…
Nowadays, quantum program is widely used and quickly developed.
Quantum mechanical computers
R. P. Feynman · 1985
Earlier work this paper cites.
A procedural formalism for quantum computing
Bernhard Omer · 1998
Earlier work this paper cites.
Quantum Computation and Quantum Information
Rick D. Craig and Stefan P. Jaskiel · 2002
Earlier work this paper cites.
A simple proof that toffoli and hadamard are quantum universal
Aharonov Dorit · 2003
Earlier work this paper cites.
Towards a quantum programming language
Selinger P · 2004
Cited alongside, same era.
American fuzzy lop, 2007
Michal Zalewski · 2007
Cited alongside, same era.
An algebra of quantum processes
M. Ying, R. Duan Y. Feng, and Z. Ji · 2009
Cited alongside, same era.
Systematic Software Testing
Nielsen M. A. and Chuang I. L · 2010
Cited alongside, same era.
D-wave sells first commercial quantum computer
Lisa Zyga · 2011
Later among the works it cites.
Qpmc: A model checker for quantum programs and protocols
Hahn E. M. Feng Y and Zhang L Turrini A · 2015
Later among the works it cites.
Q | S I ⟩ \ket{SI} : A quantum programming environment
Wang X Liu S, Guan J Zhou L, Duan R Li Y, and Ying M · 2017
Later among the works it cites.
Verifying quantum programs: From quipper to qpmc*
Leonardo Tglialegne Linda Anticoli, Carla Piazza and Paolo Zuliani · 2017
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…