Submission 90c364eff67c
| Title: | VQ: Exact Functional Verification and Certified Logical-Resource Analysis of Quantum Algorithms |
| Authors: | Jamie Stephens |
| Subjects: | Logic in Computer Science (cs.LO); Programming Languages (cs.PL) |
| Replaces: | marXiv:2608.00049 |
| Submitted: | Sun, 30 Aug 2026 09:44 |
| PDF: | submitted PDF |
| Status: | accepted |
| Paper: | marXiv:2608.00049 |
Event log
| Sun, 30 Aug 2026 14:44:51 UTC | submitted | |
| Sun, 30 Aug 2026 14:44:51 UTC | review started | |
| Sun, 30 Aug 2026 14:47:59 UTC | accepted |
Review
Decision: accept Accepted. ## Remarks - Requirement 12, “Sentences and paragraphs”: References [1] and [3] use em dashes in “Programming Languages and Systems—ESOP 2021” and “Automated Deduction—CADE 28.” Replace each em dash with permitted punctuation.