Cover Image

Is Productivity in Quantum Programming Equivalent to Expressiveness?

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Corrales-Garro, Francini, Valerio-Ramírez, Danny, Núñez-Corrales, Santiago
Format:	Preprint
Published:	2025
Subjects:	Quantum Physics Programming Languages Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

GUPPY: Pythonic Quantum-Classical Programming
by: Koch, Mark, et al.
Published: (2025)

Imperative Quantum Programming with Ownership and Borrowing in Guppy
by: Koch, Mark, et al.
Published: (2025)

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

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

Optimization Framework for Reducing Mid-circuit Measurements and Resets
by: Chen, Yanbin, et al.
Published: (2025)

Dead Gate Elimination
by: Chen, Yanbin, et al.
Published: (2025)

Equivalence, Identity, and Unitarity Checking in Black-Box Testing of Quantum Programs
by: Long, Peixun, et al.
Published: (2023)

Productive Quantum Programming Needs Better Abstract Machines
by: Núñez-Corrales, Santiago, et al.
Published: (2025)

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

On Repairing Quantum Programs Using ChatGPT
by: Guo, Xiaoyu, et al.
Published: (2024)

Qadence: a differentiable interface for digital-analog programs
by: Seitz, Dominik, et al.
Published: (2024)

A Core Calculus for Type-safe Product Lines of C Programs
by: Damiani, Ferruccio, et al.
Published: (2026)

QuanBench+: A Unified Multi-Framework Benchmark for LLM-Based Quantum Code Generation
by: Slim, Ali, et al.
Published: (2026)

VERT: Verified Equivalent Rust Transpilation with Large Language Models as Few-Shot Learners
by: Yang, Aidan Z. H., et al.
Published: (2024)

Generating Equivalent Representations of Code By A Self-Reflection Approach
by: Li, Jia, et al.
Published: (2024)

Exploring LLM-Driven Explanations for Quantum Algorithms
by: d'Aloisio, Giordano, et al.
Published: (2024)

Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs
by: Deng, Wenjing, et al.
Published: (2024)

C*: Unifying Programming and Verification in C
by: Cao, Yiyuan, et al.
Published: (2025)

Concept-Based Generic Programming in C++
by: Stroustrup, Bjarne
Published: (2025)

LLM-Guided Compositional Program Synthesis
by: Khan, Ruhma, et al.
Published: (2025)

An Incremental Algorithm for Algebraic Program Analysis
by: Zhou, Chenyu, et al.
Published: (2024)

Program Structure Aware Precondition Generation
by: Dinella, Elizabeth, et al.
Published: (2023)

Challenges of Multilingual Program Specification and Analysis
by: Furia, Carlo A., et al.
Published: (2024)

Conceptual Mutation Testing for Student Programming Misconceptions
by: Prasad, Siddhartha, et al.
Published: (2023)

Towards Analyzing N-language Polyglot Programs
by: Prakash, Jyoti, et al.
Published: (2026)

Inferring Non-Failure Conditions for Declarative Programs
by: Hanus, Michael
Published: (2024)

QSPE: Enumerating Skeletal Quantum Programs for Quantum Library Testing
by: Ye, Jiaming, et al.
Published: (2026)

NESA: Relational Neuro-Symbolic Static Program Analysis
by: Wang, Chengpeng, et al.
Published: (2024)

Enabling Memory Safety of C Programs using LLMs
by: Mohammed, Nausheen, et al.
Published: (2024)

Validating Traces of Distributed Programs Against TLA+ Specifications
by: Cirstea, Horatiu, et al.
Published: (2024)

LPR: Large Language Models-Aided Program Reduction
by: Zhang, Mengxiao, et al.
Published: (2023)

DRReduce: Enhancing Syntax-Guided Program Reduction with Dependency Reconstruction
by: Feng, Qiong, et al.
Published: (2026)

Bloch Vector Assertions for Debugging Quantum Programs
by: Oldfield, Noah H., et al.
Published: (2025)

Testing and Debugging Quantum Programs: The Road to 2030
by: Ramalho, Neilson Carlos Leite, et al.
Published: (2024)

Execution-Aware Program Reduction for WebAssembly via Record and Replay
by: Baek, Doehyun, et al.
Published: (2025)

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs
by: Wu, Valentina, et al.
Published: (2025)

Strengthening Programming Comprehension in Large Language Models through Code Generation
by: Ren, Xiaoning, et al.
Published: (2025)

JustinANN: Realistic Test Generation for Java Programs Driven by Annotations
by: Cui, Baoquan, et al.
Published: (2025)

Generalized Software Product Line Extraction
by: Bruzzone, Federico, et al.
Published: (2026)

Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents
by: Marron, Mark
Published: (2024)