Formalization of Metatheory of the Quipper Quantum Programming Language in a Linear Logic.
Mohamed Yousri MahmoudAmy P. FeltyPublished in: J. Autom. Reason. (2019)
Keyphrases
- programming language
- linear logic
- logic programming
- logical framework
- object oriented
- general purpose
- cut elimination
- fixed point
- programming environment
- object oriented programming
- high level
- strongly typed
- software engineering
- sequent calculus
- knowledge representation
- proof search
- denotational semantics
- reasoning tasks
- database languages
- artificial intelligence
- deductive databases
- desirable properties
- specification language
- data abstraction
- computer programs
- operational semantics
- high level programming language
- functional programming
- answer set programming
- answer sets
- program code
- programming tool
- functional language
- object oriented databases
- object oriented concepts
- relational databases