A monadic semantics for quantum computing in an object oriented language.
Samuel da Silva FeitosaJuliana Kaizer VizzottoEduardo Kessler PivetaAndré Rauber Du BoisPublished in: Sci. Comput. Program. (2019)
Keyphrases
- quantum computing
- logical language
- specification language
- operational semantics
- intended meaning
- highly expressive
- quantum inspired
- object oriented
- programming language
- formal semantics
- quantum evolutionary algorithm
- deductive databases
- logic programming
- quantum mechanics
- mobile computing
- logic synthesis
- databases
- language learning
- user interface
- mobile devices
- genetic algorithm