Buchumschlag

Unitary Expressions: A Necessary Abstraction for Extensible Quantum Programming Languages and Systems

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Younis, Ed
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Programming Languages Quantum Physics
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

OpenQudit: Extensible and Accelerated Numerical Quantum Compilation via a JIT-Compiled DSL
von: Younis, Ed
Veröffentlicht: (2025)

Quantum Circuit Equivalence Checking: A Tractable Bridge From Unitary to Hybrid Circuits
von: Ricciardi, Jérome, et al.
Veröffentlicht: (2025)

Qwerty: A Basis-Oriented Quantum Programming Language
von: Adams, Austin J., et al.
Veröffentlicht: (2024)

ASDF: A Compiler for Qwerty, a Basis-Oriented Quantum Programming Language
von: Adams, Austin J., et al.
Veröffentlicht: (2025)

Linear-Time T-Gate Optimization via Random Abstraction
von: Albarghouthi, Aws
Veröffentlicht: (2026)

Quantum Programming Without the Quantum Physics
von: Inoue, Jun
Veröffentlicht: (2024)

Qafny: A Quantum-Program Verifier
von: Li, Liyi, et al.
Veröffentlicht: (2022)

Borrowing Dirty Qubits in Quantum Programs
von: Su, Bonan, et al.
Veröffentlicht: (2025)

Hadamard-Pi: Equational Quantum Programming
von: Fang, Wang, et al.
Veröffentlicht: (2025)

Quantum Simulation Programming via Typing
von: Li, Liyi, et al.
Veröffentlicht: (2025)

Reversible Lifetime Semantics for Quantum Programs
von: Faro, Simone, et al.
Veröffentlicht: (2026)

Qudit Quantum Programming with Projective Cliffords
von: Paykin, Jennifer, et al.
Veröffentlicht: (2024)

Scalable Memory Recycling for Large Quantum Programs
von: Reichental, Israel, et al.
Veröffentlicht: (2025)

Symbolic Execution for Quantum Error Correction Programs
von: Fang, Wang, et al.
Veröffentlicht: (2023)

Validating Quantum State Preparation Programs (Extended Version)
von: Li, Liyi, et al.
Veröffentlicht: (2025)

Efficient Formal Verification of Quantum Error Correcting Programs
von: Huang, Qifan, et al.
Veröffentlicht: (2025)

Algorithmic Analysis of Termination Problems for Nondeterministic Quantum Programs
von: Fu, Jianling, et al.
Veröffentlicht: (2024)

Automated Auxiliary Qubit Allocation in High-Level Quantum Programming
von: Rosa, Evandro C. R., et al.
Veröffentlicht: (2024)

Linear and non-linear relational analyses for Quantum Program Optimization
von: Amy, Matthew, et al.
Veröffentlicht: (2024)

Qrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantum Computers
von: Seidel, Raphael, et al.
Veröffentlicht: (2024)

Extensibility in Programming Languages: An overview
von: Nicolajsen, Sebastian mateos
Veröffentlicht: (2025)

Game Semantics for Higher-Order Unitary Quantum Computation
von: Abramsky, Samson, et al.
Veröffentlicht: (2024)

GUPPY: Pythonic Quantum-Classical Programming
von: Koch, Mark, et al.
Veröffentlicht: (2025)

Is Productivity in Quantum Programming Equivalent to Expressiveness?
von: Corrales-Garro, Francini, et al.
Veröffentlicht: (2025)

Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs
von: Zhang, Zhicheng, et al.
Veröffentlicht: (2024)

Quantum Control Machine: The Limits of Control Flow in Quantum Programming
von: Yuan, Charles, et al.
Veröffentlicht: (2023)

VyZX: Formal Verification of a Graphical Quantum Language
von: Lehmann, Adrian, et al.
Veröffentlicht: (2023)

Imperative Quantum Programming with Ownership and Borrowing in Guppy
von: Koch, Mark, et al.
Veröffentlicht: (2025)

Productive Quantum Programming Needs Better Abstract Machines
von: Núñez-Corrales, Santiago, et al.
Veröffentlicht: (2025)

The Quantum Effect: A Recipe for QuantumPi
von: Carette, Jacques, et al.
Veröffentlicht: (2023)

QCoder Benchmark: Bridging Language Generation and Quantum Hardware through Simulator-Based Feedback
von: Mikuriya, Taku, et al.
Veröffentlicht: (2025)

Model-Driven Engineering for Quantum Programming: A Case Study on Ground State Energy Calculation
von: Polat, Furkan, et al.
Veröffentlicht: (2024)

A Verified Compiler for Quantum Simulation
von: Li, Liyi, et al.
Veröffentlicht: (2025)

HUGR: A Quantum-Classical Intermediate Representation
von: Koch, Mark, et al.
Veröffentlicht: (2025)

The Quantum Abstract Machine
von: Li, Liyi, et al.
Veröffentlicht: (2024)

Weaver: A Retargetable Compiler Framework for FPQA Quantum Architectures
von: Kırmemiş, Oğuzcan, et al.
Veröffentlicht: (2024)

A Compilation Framework for Quantum Simulation of Non-unitary Dynamics
von: Huang, Qifan, et al.
Veröffentlicht: (2026)

DisQ: A Model of Distributed Quantum Processors (Extended Version)
von: Chang, Le, et al.
Veröffentlicht: (2024)

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

Analyzing Decoders for Quantum Error Correction
von: Molavi, Abtin, et al.
Veröffentlicht: (2026)