A programming language characterizing quantum polynomial time.
Emmanuel HainryRomain PéchouxMário SilvaPublished in: CoRR (2022)
Keyphrases
- programming language
- object oriented
- general purpose
- high level
- specification language
- programming environment
- software engineering
- logic programming
- strongly typed
- object oriented programming
- database languages
- denotational semantics
- databases
- abstract data types
- data abstraction
- functional language
- open source
- computer programs
- expert systems
- functional programming
- object oriented concepts
- concurrent programming