Cover Image

Symbolic Specification and Reasoning for Quantum Data and Operations

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Ying, Mingsheng
Format:	Preprint
Published:	2025
Subjects:	Programming Languages Logic in Computer Science Quantum Physics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Practical Quantum Hoare Logic with Classical Variables, I
by: Ying, Mingsheng
Published: (2024)

Verification of Recursively Defined Quantum Circuits
by: Ying, Mingsheng, et al.
Published: (2024)

SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning about Quantum Circuits
by: Yu, Nengkun, et al.
Published: (2025)

Quantum Büchi Automata
by: Wang, Qisheng, et al.
Published: (2018)

Quantum Circuits Are Just a Phase
by: Heunen, Chris, et al.
Published: (2025)

QReach: A Reachability Analysis Tool for Quantum Markov Chains
by: Dai, Aochu, et al.
Published: (2025)

RapunSL: Untangling Quantum Computing with Separation, Linear Combination and Mixing
by: Matsushita, Yusuke, et al.
Published: (2025)

Qunity: A Unified Language for Quantum and Classical Computing (Extended Version)
by: Voichick, Finn, et al.
Published: (2022)

A Duality Theorem for Classical-Quantum States with Applications to Complete Relational Program Logics
by: Barthe, Gilles, et al.
Published: (2025)

Flexible Type-Based Resource Estimation in Quantum Circuit Description Languages
by: Colledan, Andrea, et al.
Published: (2024)

A programming language combining quantum and classical control
by: Dave, Kinnari, et al.
Published: (2025)

QbC: Quantum Correctness by Construction
by: Peduri, Anurudh, et al.
Published: (2023)

Traq: Estimating the Quantum Cost of Classical Programs
by: Peduri, Anurudh, et al.
Published: (2025)

Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Extended Version)
by: Lööw, Andreas, et al.
Published: (2024)

Symbolic Execution for Quantum Error Correction Programs
by: Fang, Wang, et al.
Published: (2023)

Proto-Quipper with Reversing and Control
by: Fu, Peng, et al.
Published: (2024)

Basic interactive algorithms: Preview
by: Gurevich, Yuri
Published: (2025)

Structural Analysis of GRAFCET Control Specifications
by: Schnakenbeck, Aron, et al.
Published: (2023)

Abstractions of Sequences, Functions and Operators
by: Rustenholz, Louis, et al.
Published: (2025)

Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml
by: Chirica, Ion, et al.
Published: (2025)

Abstract Operational Methods for Call-by-Push-Value
by: Goncharov, Sergey, et al.
Published: (2024)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
by: Kaye, George
Published: (2025)

Expressive Power of One-Shot Control Operators and Coroutines
by: Kobayashi, Kentaro, et al.
Published: (2025)

Logical Predicates in Higher-Order Mathematical Operational Semantics
by: Goncharov, Sergey, et al.
Published: (2024)

Bialgebraic Reasoning on Stateful Languages
by: Goncharov, Sergey, et al.
Published: (2025)

Domain Reasoning in TopKAT
by: Zhang, Cheng, et al.
Published: (2024)

Algebraic Structure of Quantum Controlled States and Operators
by: Agnew, Edwin, et al.
Published: (2026)

Bialgebraic Reasoning on Higher-Order Program Equivalence
by: Goncharov, Sergey, et al.
Published: (2024)

Reasoning about Weak Isolation Levels in Separation Logic
by: Mathiasen, Anders Alnor, et al.
Published: (2025)

Reasoning About Exceptional Behavior At the Level of Java Bytecode
by: Paganoni, Marco, et al.
Published: (2024)

Approximate Relational Reasoning for Higher-Order Probabilistic Programs
by: Haselwarter, Philipp G., et al.
Published: (2024)

Bluebell: An Alliance of Relational Lifting and Independence For Probabilistic Reasoning
by: Bao, Jialu, et al.
Published: (2024)

Complete Local Reasoning About Parameterized Programs Over Topologies
by: Cheng, Ruotong, et al.
Published: (2026)

Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants
by: Zilberstein, Noam, et al.
Published: (2024)

On Quantum Programming Languages
by: Valiron, Benoît
Published: (2024)

Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects
by: Zilberstein, Noam, et al.
Published: (2023)

Rely-Guarantee Reasoning for Causally Consistent Shared Memory (Extended Version)
by: Lahav, Ori, et al.
Published: (2023)

Reasoning about Interior Mutability in Rust using Library-Defined Capabilities
by: Poli, Federico, et al.
Published: (2024)

Quantum Programming in Polylogarithmic Time
by: Ferrari, Florent, et al.
Published: (2025)

Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs (Extended Version)
by: Li, Kwing Hei, et al.
Published: (2025)