Semantics of quantum programming languages: Classical control, quantum control.

Benoît Valiron

Published in: J. Log. Algebraic Methods Program. (2022)

Keyphrases

programming language
object oriented
general purpose
software engineering
databases
logic programming
functional programming
database languages
denotational semantics
quantum computation
open source
expressive power