Abstract Interpretation and Recursive Behaviour of Logic Programs.
Christophe LecoutrePhilippe DeviennePatrick LebèguePublished in: LOPSTR (1991)
Keyphrases
- logic programs
- abstract interpretation
- recursive programs
- termination analysis
- logic programming
- static analysis
- stable models
- answer sets
- model checking
- fixpoint
- answer set programming
- dynamic analysis
- partial deduction
- reasoning engine
- stable model semantics
- active databases
- normal logic programs
- prolog programs
- computational properties
- active rules
- datalog programs
- strong equivalence
- program synthesis
- databases