Filters








37,424 Hits in 3.0 sec

Towards a quantum programming language

PETER SELINGER
2004 Mathematical Structures in Computer Science  
We propose the design of a programming language for quantum computing.  ...  In this paper, we describe the syntax and semantics of a simple quantum programming language with high-level features such as loops, recursive procedures, and structured data types.  ...  F 2 • F 1 , where F 1 : [[Γ]] → [[qbit l ×bit r ]] Towards a structured syntax In previous sections, we have presented a view of quantum programming in terms of flow charts.  ... 
doi:10.1017/s0960129504004256 fatcat:zv5agy3oxzabdjg3znq2uuonrm

QDB: From Quantum Algorithms Towards Correct Quantum Programs [article]

Yipeng Huang, Margaret Martonosi
2018 arXiv   pre-print
Drawing on this experience, we provide a taxonomy for QC bugs, and we propose QC language features that would aid in writing correct code.  ...  In this work, we implement a range of QC algorithms and programs in order to discover what types of bugs occur and what defenses against those bugs are possible in QC programs.  ...  Successful transplantation of these ideas from classical languages to QC languages can pave the way towards correct and useful quantum programs. Figure 1 1 Decomposition of a simple QC program.  ... 
arXiv:1811.05447v1 fatcat:3pfef4m46bdhvgvym6cham4xqq

Future Computers: Digital, Quantum, Biological

Philip Treleaven
2021 Computer  
Programming model As discussed, further progress toward a general-purpose biological computer and programming language requires a standard model where we can specify DNA, proteins, RNA strings, and possibly  ...  instruction language (Quil), QCL, Q#, and Silq, and functional, such as quantum flow chart/quantum programming language and QML. 12 When designing a quantum hybrid coprocessor, many of the engineering  ...  Digital Quantum Biological Information Discrete/digital with information represented by a physical quantity (for example, binary) Continuous/analog with information represented by a variable physical quantity  ... 
doi:10.1109/mc.2021.3083430 fatcat:f6ybq4rlizelvphcsy22thmcqy

Quantum Programming Languages (Dagstuhl Seminar 18381)

Michele Mosca, Martin Roetteler, Peter Selinger, Michael Wagner
2019 Dagstuhl Reports  
This report documents the program and the outcomes of Dagstuhl Seminar 18381 "Quantum Programming Languages", which brought together researchers from quantum computing and classical programming languages  ...  the outcomes of Dagstuhl Seminar 18381 "Quantum Programming Languages".  ...  1 -Quantum Programming Languages  ... 
doi:10.4230/dagrep.8.9.112 dblp:journals/dagstuhl-reports/MoscaRS18 fatcat:gisydgsvrbefhjg3bf444vqk6u

Preface to the Special Issue on Linearity

Iliano Cervesato, Maribel Fernández
2019 Journal of automated reasoning  
on proof technology, complexity classes and more recently quantum computation, program analysis, expressive operational semantics, linear programming languages, and techniques for program transformation  ...  Topics of interest include: sub-linear logics, linear term calculi, linear type systems, linear proof theory, linear programming languages, applications to concurrency, interactionbased systems, verification  ...  Quantum Programming Languages In the approaches to the design of quantum programming languages that exist in the literature, linear logic plays a major role.  ... 
doi:10.1007/s10817-019-09529-9 fatcat:leebml36xrcxpemphpm26qjtyq

A P4 Data Plane for the Quantum Internet

Wojciech Kozlowski, Fernando Kuipers, Stephanie Wehner
2020 Proceedings of the 3rd P4 Workshop in Europe  
CCS CONCEPTS • Networks → Programmable networks; Programming interfaces; • Hardware → Quantum communication and cryptography.  ...  Similarly, a programmable quantum data plane could pave the way for a software-defined quantum network architecture.  ...  Thus, the P4 language offers a convenient starting point for programmable quantum data planes. The P4 16 language has two additional features that make this a practical approach.  ... 
doi:10.1145/3426744.3431321 dblp:conf/conext/KozlowskiKW20 fatcat:5z4a5ibhpfhszirywdromtuspi

MDE4QAI: Towards Model-Driven Engineering for Quantum Artificial Intelligence [article]

Armin Moin, Moharram Challenger, Atta Badii, Stephan Günnemann
2021 arXiv   pre-print
However, in the decade ahead, an unprecedented paradigm shift from classical computing towards Quantum Computing (QC) is expected, with perhaps a quantum-classical hybrid model.  ...  In this paper, the vision is focused on MDE for Quantum AI, and a holistic approach integrating all of the above.  ...  [8] considered a separate category for quantum modeling languages, next to GPMLs (UML) and DSMLs.  ... 
arXiv:2107.06708v1 fatcat:sfzrcdg5rrcz5fmslgkc2uz4tq

A P4 Data Plane for the Quantum Internet [article]

Wojciech Kozlowski, Fernando Kuipers, Stephanie Wehner
2020 arXiv   pre-print
Similarly, a programmable quantum data plane could pave the way for a software-defined quantum network architecture.  ...  The quantum technology revolution brings with it the promise of a quantum internet.  ...  Thus, the P4 language offers a convenient starting point for programmable quantum data planes. The P4 16 language has two additional features that make this a practical approach.  ... 
arXiv:2010.11263v1 fatcat:nwf26w442zcc5nvyqj6vfumov4

A Survey of Quantum Programming Languages: History, Methods, and Tools [article]

Donald A. Sofge
2008 arXiv   pre-print
development of quantum programming language tools.  ...  Quantum computer programming is emerging as a new subject domain from multidisciplinary research in quantum computing, computer science, mathematics (especially quantum logic, lambda calculi, and linear  ...  The first practical steps toward formulating a quantum programming language were made by Knill in 1996 in his proposal for conventions for a quantum pseudocode [11] , and his description of the quantum  ... 
arXiv:0804.1118v1 fatcat:gyi6j6n6xnet7gubikizmrct3a

A Programmer'S Survey Of The Quantum Computing Paradigm

Philippe Jorrand
2007 Zenodo  
The next sections are devoted to one among the many directions of current research in the quantum computation paradigm, namely quantum programming languages and their semantics.  ...  of a quantum computer.  ...  The most representative quantum imperative programming language is QCL (Quantum Computing Language), a C flavoured language designed by B. Ömer at the University of Vienna [22] .  ... 
doi:10.5281/zenodo.1331417 fatcat:fjqnotqmdjesdgl2unrtdkswr4

Quantum programming languages: survey and bibliography

SIMON J. GAY
2006 Mathematical Structures in Computer Science  
The field of quantum programming languages is developing rapidly and there is a surprisingly large literature.  ...  design of compilers for quantum programming languages.  ...  Another early piece of work towards a quantum programming language, with a simulation system, is that of Baker (1996) .  ... 
doi:10.1017/s0960129506005378 fatcat:fsbhcecn6vcebiy3g4tuunjimy

isQ: Towards a Practical Software Stack for Quantum Programming [article]

Jingzhe Guo, Huazhe Lou, Riling Li, Wang Fang, Junyi Liu, Peixun Long, Shenggang Ying, Mingsheng Ying
2022 arXiv   pre-print
We introduce isQ, a new software stack for quantum programming in an imperative programming language, also named isQ.  ...  In particular: 1) The isQ language and its compiler contain many features, including some not well supported by (most) other quantum programming platforms, e.g. classical control flow such as recursion  ...  In this paper, we present isQ, a software stack for quantum programming towards practical use. isQ was first proposed as an experimental and educational language [5] .  ... 
arXiv:2205.03866v1 fatcat:s253oe4tm5h7ractucxhpkj5pu

Quantum Accelerators for High-Performance Computing Systems

Keith A. Britt, Fahd A. Mohiyaddin, Travis S. Humble
2017 2017 IEEE International Conference on Rebooting Computing (ICRC)  
Following a brief overview of the state of the art, we discuss recent advances in programming and execution models for hybrid quantum-classical computing.  ...  We define some of the programming and system-level challenges facing the application of quantum processing to high-performance computing.  ...  The United States Government retains and the publisher, by accepting the article for publication, acknowledges that the United States Government retains a non-exclusive, paid-up, irrevocable, world-wide  ... 
doi:10.1109/icrc.2017.8123664 dblp:conf/icrc/BrittMH17 fatcat:vqa5cylvrfazbi22rzrg5kop34

Quantum Calculi—From Theory to Language Design

Margherita Zorzi
2019 Applied Sciences  
Moreover, we propose an overview of some interesting languages and open-source platforms for quantum programming currently available.  ...  In the last 20 years, several approaches to quantum programming have been introduced. In this survey, we focus on the QRAM (Quantum Random Access Machine) architectural model.  ...  Starting from QML and as a step toward higher-order quantum programming, Altenkirch et.al successively introduced the Quantum IO-monad [44] .  ... 
doi:10.3390/app9245472 fatcat:ysri3ams6jbsvaxbripdmq7izu

Toward a Curry-Howard Equivalence for Linear, Reversible Computation [chapter]

Kostia Chardonnet, Alexis Saurin, Benoît Valiron
2020 Lecture Notes in Computer Science  
This work is a first step towards understanding purely quantum recursive types.  ...  In this paper, we present a linear and reversible language with inductive and coinductive types, together with a Curry-Howard correspondence with the logic : linear logic extended with least and greatest  ...  This extended abstract aims at proposing a type system featuring inductive and coinductive types for a purely reversible language, first step towards a rich quantum type system.  ... 
doi:10.1007/978-3-030-52482-1_8 fatcat:t6un5bqp4zhtbpwcdr2c5orqxu
« Previous Showing results 1 — 15 out of 37,424 results