Qutes: A High-Level Quantum Programming Language for Simplified Quantum Computing
Fuente:
arXiv
Saved in:
| Main Authors: | Faro, Simone, Marino, Francesco Pio, Messina, Gabriele |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Reversible Lifetime Semantics for Quantum Programs
by: Faro, Simone, et al.
Published: (2026)
by: Faro, Simone, et al.
Published: (2026)
Qrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantum Computers
by: Seidel, Raphael, et al.
Published: (2024)
by: Seidel, Raphael, et al.
Published: (2024)
Automated Auxiliary Qubit Allocation in High-Level Quantum Programming
by: Rosa, Evandro C. R., et al.
Published: (2024)
by: Rosa, Evandro C. R., et al.
Published: (2024)
On Quantum Programming Languages
by: Valiron, Benoît
Published: (2024)
by: Valiron, Benoît
Published: (2024)
Laws of Quantum Programming
by: Ying, Mingsheng, et al.
Published: (2024)
by: Ying, Mingsheng, et al.
Published: (2024)
Qmod: Expressive High-Level Quantum Modeling
by: Vax, Matan, et al.
Published: (2025)
by: Vax, Matan, et al.
Published: (2025)
Qwerty: A Basis-Oriented Quantum Programming Language
by: Adams, Austin J., et al.
Published: (2024)
by: Adams, Austin J., et al.
Published: (2024)
Quantum Programming Without the Quantum Physics
by: Inoue, Jun
Published: (2024)
by: Inoue, Jun
Published: (2024)
Tilus: A Tile-Level GPGPU Programming Language for Low-Precision Computation
by: Ding, Yaoyao, et al.
Published: (2025)
by: Ding, Yaoyao, et al.
Published: (2025)
Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming
by: Warren, David S., et al.
Published: (2024)
by: Warren, David S., et al.
Published: (2024)
Hybrid Path-Sums for Hybrid Quantum Programs
by: Chareton, Christophe, et al.
Published: (2026)
by: Chareton, Christophe, et al.
Published: (2026)
Automated Expected Cost Analysis for Quantum Programs
by: Moser, Georg, et al.
Published: (2026)
by: Moser, Georg, et al.
Published: (2026)
Qafny: A Quantum-Program Verifier
by: Li, Liyi, et al.
Published: (2022)
by: Li, Liyi, et al.
Published: (2022)
Unitary Expressions: A Necessary Abstraction for Extensible Quantum Programming Languages and Systems
by: Younis, Ed
Published: (2025)
by: Younis, Ed
Published: (2025)
ASDF: A Compiler for Qwerty, a Basis-Oriented Quantum Programming Language
by: Adams, Austin J., et al.
Published: (2025)
by: Adams, Austin J., et al.
Published: (2025)
Dataflow-Based Optimization for Quantum Intermediate Representation Programs
by: Luo, Junjie, et al.
Published: (2024)
by: Luo, Junjie, et al.
Published: (2024)
QPanda3: A High-Performance Software-Hardware Collaborative Framework for Large-Scale Quantum-Classical Computing Integration
by: Zou, Tianrui, et al.
Published: (2025)
by: Zou, Tianrui, et al.
Published: (2025)
Cement2: Temporal Hardware Transactions for High-Level and Efficient FPGA Programming
by: Xiao, Youwei, et al.
Published: (2025)
by: Xiao, Youwei, et al.
Published: (2025)
Borrowing Dirty Qubits in Quantum Programs
by: Su, Bonan, et al.
Published: (2025)
by: Su, Bonan, et al.
Published: (2025)
Hadamard-Pi: Equational Quantum Programming
by: Fang, Wang, et al.
Published: (2025)
by: Fang, Wang, et al.
Published: (2025)
Quantum Simulation Programming via Typing
by: Li, Liyi, et al.
Published: (2025)
by: Li, Liyi, et al.
Published: (2025)
Qudit Quantum Programming with Projective Cliffords
by: Paykin, Jennifer, et al.
Published: (2024)
by: Paykin, Jennifer, et al.
Published: (2024)
Very High Level Programming Languages (e.g., SNOBOL, COMIT) in the Special Librarian's Future
by: Libbey, Miles A.
Published: (1975)
by: Libbey, Miles A.
Published: (1975)
Quantum Programming in Polylogarithmic Time
by: Ferrari, Florent, et al.
Published: (2025)
by: Ferrari, Florent, et al.
Published: (2025)
Qute: Towards Quantum-Native Database
by: Chen, Muzhi, et al.
Published: (2026)
by: Chen, Muzhi, et al.
Published: (2026)
With a Few Square Roots, Quantum Computing is as Easy as Π
by: Carette, Jacques, et al.
Published: (2023)
by: Carette, Jacques, et al.
Published: (2023)
Scalable Memory Recycling for Large Quantum Programs
by: Reichental, Israel, et al.
Published: (2025)
by: Reichental, Israel, et al.
Published: (2025)
Symbolic Execution for Quantum Error Correction Programs
by: Fang, Wang, et al.
Published: (2023)
by: Fang, Wang, et al.
Published: (2023)
On Repairing Quantum Programs Using ChatGPT
by: Guo, Xiaoyu, et al.
Published: (2024)
by: Guo, Xiaoyu, et al.
Published: (2024)
Expression Acceleration: Seamless Parallelization of Typed High-Level Languages
by: Hummelgren, Lars, et al.
Published: (2022)
by: Hummelgren, Lars, et al.
Published: (2022)
CoolerSpace: A Language for Physically Correct and Computationally Efficient Color Programming
by: Chen, Ethan, et al.
Published: (2024)
by: Chen, Ethan, et al.
Published: (2024)
Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs
by: Zhang, Zhicheng, et al.
Published: (2024)
by: Zhang, Zhicheng, et al.
Published: (2024)
Quantum Control Machine: The Limits of Control Flow in Quantum Programming
by: Yuan, Charles, et al.
Published: (2023)
by: Yuan, Charles, et al.
Published: (2023)
Validating Quantum State Preparation Programs (Extended Version)
by: Li, Liyi, et al.
Published: (2025)
by: Li, Liyi, et al.
Published: (2025)
Efficient Formal Verification of Quantum Error Correcting Programs
by: Huang, Qifan, et al.
Published: (2025)
by: Huang, Qifan, et al.
Published: (2025)
Algorithmic Analysis of Termination Problems for Nondeterministic Quantum Programs
by: Fu, Jianling, et al.
Published: (2024)
by: Fu, Jianling, et al.
Published: (2024)
Qunity: A Unified Language for Quantum and Classical Computing (Extended Version)
by: Voichick, Finn, et al.
Published: (2022)
by: Voichick, Finn, et al.
Published: (2022)
Productive Quantum Programming Needs Better Abstract Machines
by: Núñez-Corrales, Santiago, et al.
Published: (2025)
by: Núñez-Corrales, Santiago, et al.
Published: (2025)
GUPPY: Pythonic Quantum-Classical Programming
by: Koch, Mark, et al.
Published: (2025)
by: Koch, Mark, et al.
Published: (2025)
Is Productivity in Quantum Programming Equivalent to Expressiveness?
by: Corrales-Garro, Francini, et al.
Published: (2025)
by: Corrales-Garro, Francini, et al.
Published: (2025)
Similar Items
-
Reversible Lifetime Semantics for Quantum Programs
by: Faro, Simone, et al.
Published: (2026) -
Qrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantum Computers
by: Seidel, Raphael, et al.
Published: (2024) -
Automated Auxiliary Qubit Allocation in High-Level Quantum Programming
by: Rosa, Evandro C. R., et al.
Published: (2024) -
On Quantum Programming Languages
by: Valiron, Benoît
Published: (2024) -
Laws of Quantum Programming
by: Ying, Mingsheng, et al.
Published: (2024)