Quantum Predicative Programming

Details Quantum Predicative Programming Quantum Predicative Programming

2006-02-17

arxiv.org/abs/quant-ph/0602156v1

Physics

Quantum Physics

Scientific paper

The subject of this work is quantum predicative programming -- the study of developing 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.

Affiliated with

Also associated with

No associations

Rating

Quantum Predicative Programming does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Quantum Predicative Programming, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Quantum Predicative Programming will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-544240