English
Related papers

Related papers: High-level quantum algorithm programming using Sil…

200 papers

Quantum computing, leveraging quantum phenomena like superposition and entanglement, is emerging as a transformative force in computing technology, promising unparalleled computational speed and efficiency crucial for engineering…

Quantum Physics · Physics 2024-08-30 Osama Muhammad Raisuddin , Suvranu De

Quantum computers have leaped from the theoretical realm into a race to large-scale implementations. This is due to the promise of revolutionary speedups, where achieving such speedup requires designing an algorithm that harnesses the…

Quantum computing is no longer only a scientific interest but is rapidly becoming an industrially available technology that can potentially overcome the limits of classical computation. Over the last years, all major companies have provided…

Software Engineering · Computer Science 2022-04-12 Manuel De Stefano , Fabiano Pecorelli , Dario Di Nucci , Fabio Palomba , Andrea De Lucia

While significant progress has been made on the hardware side of quantum computing, support for high-level quantum programming abstractions remains underdeveloped compared to classical programming languages. In this article, we introduce…

Quantum Computing (QC) refers to an emerging paradigm that inherits and builds with the concepts and phenomena of Quantum Mechanic (QM) with the significant potential to unlock a remarkable opportunity to solve complex and computationally…

In this work we introduce Qumin, a novel quantum programming language with a focus on providing an easy to use, minimalist, high-level, and easily extensible platform for quantum programming. Qumin's design concentrates on encompassing the…

Programming Languages · Computer Science 2017-04-17 Alexander Singh , Konstantinos Giannakis , Theodore Andronikos

Ensuring the quality of quantum programs is increasingly important; however, traditional static analysis techniques are insufficient due to the unique characteristics of quantum computing. Quantum-specific linting tools, such as LintQ, have…

Software Engineering · Computer Science 2025-04-08 Seung Yeob Shin , Fabrizio Pastore , Domenico Bianculli

We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by morphisms in the category FQC of finite quantum computations,…

Quantum Physics · Physics 2008-05-06 Thorsten Altenkirch , Jonathan Grattage

Languages, compilers, and computer-aided design tools will be essential for scalable quantum computing, which promises an exponential leap in our ability to execute complex tasks. LIQUi|> is a modular software architecture designed to…

Quantum Physics · Physics 2014-02-20 Dave Wecker , Krysta M. Svore

The recent development of quantum computing, which uses entanglement, superposition, and other quantum fundamental concepts, can provide substantial processing advantages over traditional computing. These quantum features help solve many…

Quilc is an open-source, optimizing compiler for gate-based quantum programs written in Quil or QASM, two popular quantum programming languages. The compiler was designed with attention toward NISQ-era quantum computers, specifically…

Quantum Physics · Physics 2020-04-01 Robert S. Smith , Eric C. Peterson , Mark G. Skilbeck , Erik J. Davis

We introduce ProjectQ, an open source software effort for quantum computing. The first release features a compiler framework capable of targeting various types of hardware, a high-performance simulator with emulation capabilities, and…

Quantum Physics · Physics 2018-02-01 Damian S. Steiger , Thomas Häner , Matthias Troyer

Quantum computing, an innovative computing system carrying prominent processing rate, is meant to be the solutions to problems in many fields. Among these realms, the most intuitive application is to help chemical researchers correctly…

Quantum Physics · Physics 2022-12-29 Qingchun Wang , Huan-Yu Liu , Qing-Song Li , Jianyu Zhao , Qiankun Gong , Ye Li , Yu-Chun Wu , Guo-Ping Guo

By leveraging quantum-mechanical properties like superposition, entanglement, and interference, quantum computing (QC) offers promising solutions for problems that classical computing has not been able to solve efficiently, such as drug…

Human-Computer Interaction · Computer Science 2025-02-14 Hyeok Kim , Mingyoung J. Jeng , Kaitlin N. Smith

Quantum computing is getting increasing interest from both academia and industry, and the quantum software landscape has been growing rapidly. The quantum software stack comprises quantum programs, implementing algorithms, and platforms…

Software Engineering · Computer Science 2024-10-02 Matteo Paltenghi , Michael Pradel

We present a scalable, robust approach to creating quantum programs of arbitrary size and complexity. The approach is based on the true abstraction of the problem. The quantum program is expressed in terms of a high-level model together…

Recent developments in quantum hardware indicate that systems featuring more than 50 physical qubits are within reach. At this scale, classical simulation will no longer be feasible and there is a possibility that such quantum devices may…

Quantum Physics · Physics 2018-03-06 Mathias Soeken , Thomas Häner , Martin Roetteler

The rapid progress of computer technology has been accompanied by a corresponding evolution of software development, from hardwired components and binary machine code to high level programming languages, which allowed to master the…

Quantum Physics · Physics 2009-11-07 Bernhard Oemer

Quantum computing is the process of performing calculations using quantum mechanics. This field studies the quantum behavior of certain subatomic particles for subsequent use in performing calculations, as well as for large-scale…

Quantum Physics · Physics 2023-12-07 David Peral García , Juan Cruz-Benito , Francisco José García-Peñalvo