Image de couverture de livre

Verification of Recursively Defined Quantum Circuits

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Ying, Mingsheng, Zhang, Zhicheng
Format:	Preprint
Publié:	2024
Sujets:	Quantum Physics Logic in Computer Science Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Symbolic Specification and Reasoning for Quantum Data and Operations
par: Ying, Mingsheng
Publié: (2025)

A Practical Quantum Hoare Logic with Classical Variables, I
par: Ying, Mingsheng
Publié: (2024)

Quantum Circuits Are Just a Phase
par: Heunen, Chris, et autres
Publié: (2025)

SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning about Quantum Circuits
par: Yu, Nengkun, et autres
Publié: (2025)

Quantum Büchi Automata
par: Wang, Qisheng, et autres
Publié: (2018)

Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs
par: Zhang, Zhicheng, et autres
Publié: (2024)

Flexible Type-Based Resource Estimation in Quantum Circuit Description Languages
par: Colledan, Andrea, et autres
Publié: (2024)

Products of Recursive Programs for Hypersafety Verification (Extended Version)
par: Cheng, Ruotong, et autres
Publié: (2025)

QReach: A Reachability Analysis Tool for Quantum Markov Chains
par: Dai, Aochu, et autres
Publié: (2025)

RapunSL: Untangling Quantum Computing with Separation, Linear Combination and Mixing
par: Matsushita, Yusuke, et autres
Publié: (2025)

Qunity: A Unified Language for Quantum and Classical Computing (Extended Version)
par: Voichick, Finn, et autres
Publié: (2022)

A Duality Theorem for Classical-Quantum States with Applications to Complete Relational Program Logics
par: Barthe, Gilles, et autres
Publié: (2025)

A programming language combining quantum and classical control
par: Dave, Kinnari, et autres
Publié: (2025)

QbC: Quantum Correctness by Construction
par: Peduri, Anurudh, et autres
Publié: (2023)

Traq: Estimating the Quantum Cost of Classical Programs
par: Peduri, Anurudh, et autres
Publié: (2025)

Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach
par: Hu, Siwei, et autres
Publié: (2025)

Recursive Mutexes in Separation Logic
par: Du, Ke, et autres
Publié: (2026)

Intrinsically Correct Algorithms and Recursive Coalgebras
par: Alexandru, Cass, et autres
Publié: (2025)

Verification of Quantum Circuits through Discrete-Time Barrier Certificates
par: Lewis, Marco, et autres
Publié: (2024)

The Semantics of Effects: Centrality, Quantum Control and Reversible Recursion
par: Lemonnier, Louis
Publié: (2024)

Automated Software Verification of Hyperliveness
par: Beutner, Raven
Publié: (2024)

Proto-Quipper with Reversing and Control
par: Fu, Peng, et autres
Publié: (2024)

Predictable Verification using Intrinsic Definitions
par: Murali, Adithya, et autres
Publié: (2024)

Automated Theorem Proving for Prolog Verification
par: Mesnard, Fred, et autres
Publié: (2026)

Reasoning about Interior Mutability in Rust using Library-Defined Capabilities
par: Poli, Federico, et autres
Publié: (2024)

Structural Temporal Logic for Mechanized Program Verification
par: Ioannidis, Eleftherios, et autres
Publié: (2024)

FO-Complete Program Verification for Heap Logics
par: Murali, Adithya, et autres
Publié: (2026)

Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library
par: de Vilhena, Paulo Emílio, et autres
Publié: (2021)

Simulating Quantum Circuits by Model Counting
par: Mei, Jingyi, et autres
Publié: (2024)

Basic interactive algorithms: Preview
par: Gurevich, Yuri
Publié: (2025)

Compositional Verification in Concurrent Separation Logic with Permissions Regions
par: Le, Quang Loc
Publié: (2025)

Automated Verification of Monotonic Data Structure Traversals in C
par: Sotoudeh, Matthew
Publié: (2025)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
par: Kaye, George
Publié: (2025)

HaliVer: Deductive Verification and Scheduling Languages Join Forces
par: Haak, Lars B. van den, et autres
Publié: (2024)

Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml
par: Chirica, Ion, et autres
Publié: (2025)

Simpler Presentations for Many Fragments of Quantum Circuits
par: Blake, Colin
Publié: (2026)

Formal Verification of Quantum Programs: Theory, Tools and Challenges
par: Lewis, Marco, et autres
Publié: (2021)

A Primal-Dual Perspective on Program Verification Algorithms (Extended Version)
par: Tsukada, Takeshi, et autres
Publié: (2025)

Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs
par: Chatterjee, Krishnendu, et autres
Publié: (2024)

Formal Verification of a Token Sale Launchpad: A Compositional Approach in Dafny
par: Ukhanov, Evgeny
Publié: (2025)