REVIEW 1 cited by
Quantum Recursive Programming with Quantum Case Statements
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
Quantum Recursive Programming with Quantum Case Statements
read the original abstract
We introduce a novel scheme of quantum recursive programming, in which large unitary transformations, i.e. quantum gates, can be recursively defined using quantum case statements, which are quantum counterparts of conditionals and case statements extensively used in classical programming. A simple programming language for supporting this kind of quantum recursion is defined, and its semantics is formally described. A series of examples are presented to show that some quantum algorithms can be elegantly written as quantum recursive programs.
Forward citations
Cited by 1 Pith paper
-
A Practical Quantum Hoare Logic with Classical Variables, I
Presents a Hoare logic for quantum programs with classical variables using paired classical first-order formulas and quantum predicates, plus a simplified proof system with minimal modifications to classical Hoare logic.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.