Fetching the paper…
Reading the bibliography…
This paper describes a quantum programming environment, named $Q|SI\rangle$.
Sample-based non-uniform random variate generation
Luc Devroye · 1986
Earlier work this paper cites.
Elementary gates for quantum computation
Adriano Barenco, Charles H Bennett, Richard Cleve, David P DiVincenzo, Norman Margolus, Peter Shor, Tycho Sleator, John A Smolin, and Harald Weinfurter · 1995
Earlier work this paper cites.
A fast quantum mechanical algorithm for database search
Lov K Grover · 1996
Earlier work this paper cites.
Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer
Peter W Shor · 1997
Earlier work this paper cites.
A procedural formalism for quantum computing
Bernhard Ömer · 1998
Earlier work this paper cites.
Quantum programming
Jeff W Sanders and Paolo Zuliani · 2000
Earlier work this paper cites.
Toward an architecture for quantum programming
Stefano Bettelli, Tommaso Calarco, and Luciano Serafini · 2003
Earlier work this paper cites.
A brief survey of quantum programming languages
Peter Selinger · 2004
Earlier work this paper cites.
The solovay-kitaev algorithm
Christopher M Dawson and Michael A Nielsen · 2005
Earlier work this paper cites.
A layered software architecture for quantum computing design tools
Krysta Marie Svore, Alfred V Aho, Andrew W Cross, Isaac Chuang, and Igor L Markov · 2006
Cited alongside, same era.
Synthesis of quantum-logic circuits
V.V. Shende, S.S. Bullock, and I.L. Markov · 2006
Cited alongside, same era.
Quantum algorithm for linear systems of equations
Aram W Harrow, Avinatan Hassidim, and Seth Lloyd · 2009
Cited alongside, same era.
Quantum computation and quantum information
Michael A Nielsen and Isaac L Chuang · 2010
Cited alongside, same era.
Quantum loop programs
Mingsheng Ying and Yuan Feng · 2010
Cited alongside, same era.
Floyd–hoare logic for quantum programs
Mingsheng Ying · 2011
Cited alongside, same era.
A flowchart language for quantum programming
Liquid: A software design architecture and domain-specific language for quantum computing
Dave Wecker and Krysta M Svore · 2014
Later among the works it cites.
Scaffcc: a framework for compilation and analysis of quantum computing programs
Ali JavadiAbhari, Shruti Patil, Daniel Kudrow, Jeff Heckey, Alexey Lvov, Frederic T Chong, and Margaret Martonosi · 2014
Later among the works it cites.
Quantum cryptography: Public key distribution and coin tossing
Charles H Bennett and Gilles Brassard · 2014
Later among the works it cites.
Scaffcc: Scalable compilation and analysis of quantum programs
Ali JavadiAbhari, Shruti Patil, Daniel Kudrow, Jeff Heckey, Alexey Lvov, Frederic T Chong, and Margaret Martonosi · 2015
Later among the works it cites.
qhipster: the quantum high performance software testing environment
Mikhail Smelyanskiy, Nicolas PD Sawaya, and Alán Aspuru-Guzik · 2016
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Mingsheng Ying and Yuan Feng · 2011
Cited alongside, same era.
Quipper: a scalable quantum programming language
Alexander S Green, Peter LeFanu Lumsdaine, Neil J Ross, Peter Selinger, and Benoît Valiron · 2013
Cited alongside, same era.
Verification of quantum programs
Mingsheng Ying, Nengkun Yu, Yuan Feng, and Runyao Duan · 2013
Cited alongside, same era.
Foundations of Quantum Programming
Mingsheng Ying · 2016
Later among the works it cites.
A theorem prover for quantum hoare logic and its applications
Tao Liu, Yangjia Li, Shuling Wang, Mingsheng Ying, and Naijun Zhan · 2016
Later among the works it cites.
A practical quantum instruction set architecture
Robert S Smith, Michael J Curtis, and William J Zeng · 2016
Later among the works it cites.
Invariants of quantum programs: characterisations and generation
Mingsheng Ying, Shenggang Ying, and Xiaodi Wu · 2017
Closest in time.