Kripke semantics for higher-order type theory applied to constraint logic programming languages.
James LiptonSusana NievaPublished in: Theor. Comput. Sci. (2018)
Keyphrases
- programming language
- lambda calculus
- logic programming
- database query languages
- higher order
- denotational semantics
- strongly typed
- predicate calculus
- database languages
- object oriented
- specification language
- general purpose
- programming language constructs
- type checking
- high level
- proof theory
- software engineering
- modal logic
- formal model
- expressive power
- kripke models
- programming environment
- deductive databases
- logic programs
- domain specific languages
- machine learning
- formal semantics
- inference rules
- logic programming language
- functional programming
- model checking
- query language