A practical theory of programming
A practical theory of programming
A fast quantum mechanical algorithm for database search
STOC '96 Proceedings of the twenty-eighth annual ACM symposium on Theory of computing
Quantum circuits with mixed states
STOC '98 Proceedings of the thirtieth annual ACM symposium on Theory of computing
Reasoning about Grover's quantum search algorithm using probabilistic wp
ACM Transactions on Programming Languages and Systems (TOPLAS)
Quantum computation and quantum information
Quantum computation and quantum information
MPC '00 Proceedings of the 5th International Conference on Mathematics of Program Construction
Toward a quantum process algebra
Proceedings of the 1st conference on Computing frontiers
ACM SIGACT News
A Lambda Calculus for Quantum Computation
SIAM Journal on Computing
Towards a quantum programming language
Mathematical Structures in Computer Science
High-Level Methods for Quantum Computation and Information
LICS '04 Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science
A Categorical Semantics of Quantum Protocols
LICS '04 Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science
Communicating quantum processes
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Functional Quantum Programming Language
LICS '05 Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science
Acta Informatica
A Process Algebra for Reasoning About Quantum Security
Electronic Notes in Theoretical Computer Science (ENTCS)
An Algebra of Pure Quantum Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
Distributed Measurement-based Quantum Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
Quantum Programming With Mixed States
Electronic Notes in Theoretical Computer Science (ENTCS)
Retrospective and prospective for unifying theories of programming
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
Reasoning about quantum knowledge
FSTTCS '05 Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science
Programming with Quantum Communication
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |
The subject of this work is quantum predicative programming — the development of programs intended for execution on a quantum computer. We look at programming in the context of formal methods of program development, or programming methodology. Our work is based on probabilistic predicative programming, a recent generalisation of the well-established predicative programming. It supports the style of program development in which each programming step is proven correct as it is made. We inherit the advantages of the theory, such as its generality, simple treatment of recursive programs, time and space complexity, and communication. Our theory of quantum programming provides tools to write both classical and quantum specifications, develop quantum programs that implement these specifications, and reason about their comparative time and space complexity all in the same framework.