Foundations of Quantum Programming (Extended Abstract)

@inproceedings{Ying2010FoundationsOQ,
  title={Foundations of Quantum Programming (Extended Abstract)},
  author={Mingsheng Ying},
  booktitle={APLAS},
  year={2010}
}
Progress in the techniques of quantum devices has made people widely believe that large-scale and functional quantum computers will be eventually built. By then, super-powered quantum computer will solve many problems affecting economic and social life that cannot be addressed by classical computing. However, our experiences with classical computing suggest that once quantum computers become available in the future, quantum software will play a key role in exploiting their power, and quantum… CONTINUE READING
Highly Cited
This paper has 17 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

References

Publications referenced by this paper.
Showing 1-10 of 23 references

Quantum weakest preconditions

Mathematical Structures in Computer Science • 2006
View 4 Excerpts
Highly Influenced

Towards a quantum programming language

Mathematical Structures in Computer Science • 2004
View 5 Excerpts
Highly Influenced

Predicate transformer semantics of quantum programs

M. S. Ying, R. Y. Duan, Y. Feng, Z. F. Ji
Semantic Techniques in Quantum Computation, • 2010
View 3 Excerpts
Highly Influenced

Quantum loop programs

Acta Informatica • 2010
View 2 Excerpts

An Algebraic Language for Distributed Quantum Computing

IEEE Transactions on Computers • 2009
View 1 Excerpt

An algebra of quantum processes

ACM Trans. Comput. Log. • 2009
View 1 Excerpt

Similar Papers

Loading similar papers…