Abstract Interpretation for (Constraint) Logic Programming.
Maurice BruynoogheDmitri BoulangerPublished in: NATO ASI CP (1993)
Keyphrases
- constraint logic programming
- abstract interpretation
- termination analysis
- static analysis
- constraint solving
- model checking
- answer set programming
- active rules
- logic programming
- active databases
- reasoning engine
- constraint programming
- dynamic analysis
- temporal reasoning
- global constraints
- constraint propagation
- information systems
- deductive databases
- natural language
- logic programs
- web services