Static Type Inference for the Q language using Constraint Logic Programming.
Zsolt ZomboriJános CsorbaPéter SzerediPublished in: ICLP (Technical Communications) (2012)
Keyphrases
- constraint logic programming
- logic programming language
- constraint solving
- logic programming
- answer set programming
- constraint programming
- strongly typed
- programming language
- temporal reasoning
- constraint propagation
- global constraints
- programming paradigms
- image sequences
- type checking
- proof theoretic
- general purpose
- special case
- machine learning
- databases