Semantics of quantum programming languages: Classical control, quantum control - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal of Logical and Algebraic Methods in Programming Année : 2022

Semantics of quantum programming languages: Classical control, quantum control

Résumé

This chapter is devoted to a discussion on the semantics of quantum programming languages. We will discuss two main paradigms: the usual, standard co-processor model, and more exotic models based on quantum superposition of executions. We will discuss how these two systems can –or cannot– be unified, and how this relates to languages.

Dates et versions

hal-04038653 , version 1 (21-03-2023)

Identifiants

Citer

Benoît Valiron. Semantics of quantum programming languages: Classical control, quantum control. Journal of Logical and Algebraic Methods in Programming, 2022, 128, pp.100790. ⟨10.1016/j.jlamp.2022.100790⟩. ⟨hal-04038653⟩
36 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More