Precise Goal-Independent Abstract Interpretation of Constraint Logic Programs.
Peter SchachtePublished in: Electron. Notes Theor. Comput. Sci. (2001)
Keyphrases
- logic programs
- abstract interpretation
- logic programming
- answer sets
- stable models
- fixpoint
- computational properties
- answer set programming
- normal logic programs
- prolog programs
- termination analysis
- static analysis
- active rules
- partial deduction
- term rewriting systems
- strong equivalence
- stable model semantics
- model checking
- monotonicity constraints
- reasoning engine
- semantics of logic programs