A Programming Language Characterizing Quantum Polynomial Time.
Emmanuel HainryRomain PéchouxMário SilvaPublished in: FoSSaCS (2023)
Keyphrases
- programming language
- object oriented
- logic programming
- strongly typed
- general purpose
- high level
- programming environment
- database languages
- object oriented programming
- software engineering
- denotational semantics
- computer programs
- specification language
- database
- database language
- functional programming
- database applications
- relational databases
- object oriented concepts
- programming paradigms
- high level programming language
- programming language constructs