Semantics of quantum programming languages: Classical control, quantum control
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...
Gespeichert in:
| Veröffentlicht in: | Journal of logical and algebraic methods in programming 2022-08, Vol.128, p.100790, Article 100790 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Zusammenfassung: | 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. |
|---|---|
| ISSN: | 2352-2208 |
| DOI: | 10.1016/j.jlamp.2022.100790 |