We gratefully acknowledge support from
the Simons Foundation and member institutions.

Programming Languages

New submissions

[ total of 2 entries: 1-2 ]
[ showing up to 2000 entries per page: fewer | more ]

New submissions for Mon, 23 May 22

[1]  arXiv:2205.10255 [pdf, other]
Title: Tower: Data Structures in Quantum Superposition
Comments: 24 pages, 15 figures
Subjects: Programming Languages (cs.PL); Quantum Physics (quant-ph)

Emerging quantum algorithms for problems such as element distinctness, subset sum, and closest pair demonstrate computational advantages by relying on abstract data structures. Practically realizing such an algorithm as a program for a quantum computer requires an efficient implementation of the data structure whose operations correspond to unitary operators that manipulate quantum superpositions of data.
To correctly operate in superposition, an implementation must satisfy three properties -- reversibility, history independence, and bounded-time execution. Standard implementations, such as representing an abstract set as a hash table, fail these properties, calling for tools to develop specialized implementations.
In this work, we present Core Tower, the first language for quantum programming with random-access memory. Core Tower enables the developer to implement data structures as pointer-based, linked data. It features a reversible semantics enabling every valid program to be translated to a unitary quantum circuit.
We present Boson, the first memory allocator that supports reversible, history-independent, and constant-time dynamic memory allocation in quantum superposition.
We also present Tower, a language for quantum programming with inductive data structures. Tower features a type system that bounds all recursion using classical parameters.
Using Tower, we implement Ground, the first quantum library of data structures, including lists, stacks, queues, strings, and sets. We provide the first executable implementation of sets that satisfies all three mandated properties of reversibility, history independence, and bounded-time execution.

Replacements for Mon, 23 May 22

[2]  arXiv:2002.07262 (replaced) [pdf, ps, other]
Title: Denotational semantics as a foundation for cost recurrence extraction for functional languages
Comments: Revisions, mostly minor, some more discussion of related work. To appear in Journal of Functional Programming
Subjects: Programming Languages (cs.PL)
[ total of 2 entries: 1-2 ]
[ showing up to 2000 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, recent, 2205, contact, help  (Access key information)