Combining Forward and Backward Abstract Interpretation of Horn Clauses.
Alexey BakhirkinDavid MonniauxPublished in: SAS (2017)
Keyphrases
- forward and backward
- horn clauses
- abstract interpretation
- logic programs
- termination analysis
- first order logic
- inductive logic programming
- inference rules
- dynamic programming
- static analysis
- database queries
- greedy search
- active rules
- genetic algorithm
- model checking
- evolutionary algorithm
- dynamic analysis
- reasoning engine
- software engineering