Abstract Interpretation: Towards the Global Optimization of Prolog Programs.
Maurice BruynoogheGerda JanssensAlain CallebautBart DemoenPublished in: SLP (1987)
Keyphrases
- global optimization
- prolog programs
- abstract interpretation
- termination analysis
- logic programs
- static analysis
- model checking
- particle swarm optimization
- reasoning engine
- pso algorithm
- active rules
- dynamic analysis
- active databases
- databases
- deterministic annealing
- global solution
- answer set programming
- image completion
- constrained global optimization
- control flow
- distributed databases
- logic programming
- query processing