Quantum Predicative Programming

DOI10.1007/11783596_25MaRDI QIDQ3618837zbMATH OpenOpenAlexFDO

Authors Anya Tafliovich, Eric C. R. Hehner

Publication date 2 April 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/quant-ph/0602156, http://cds.cern.ch/record/930398

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Quantum algorithms and complexity in the theory of computing (68Q12) Quantum computation (81P68)

Abstract: 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.

Recommendations

• scientific article; zbMATH DE number 1612487
• Proof rules for the correctness of quantum programs
• scientific article; zbMATH DE number 5708042
• Towards a quantum programming language
• A logic for formal verification of quantum programs

Cited in

(9)

• scientific article; zbMATH DE number 1612487 (Why is no real title available?)
• scientific article; zbMATH DE number 5708042 (Why is no real title available?)
• scientific article; zbMATH DE number 7364199 (Why is no real title available?)
• Quantum Programs as Kleisli Maps
• Natural Quantum Operational Semantics with Predicates
• A probability perspective
• UTP, \textsf{\textit{Circus}}, and Isabelle
• Programming with quantum communication
• Quantum fuzzy inference for knowledge base design in robust intelligent controllers

This page was built for publication: Quantum Predicative Programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3618837)