Logic Program Testing Based on Abstract Interpretation.
Lunjin LuPeter GreenfieldPublished in: Formal Methods in Programming and Their Applications (1993)
Keyphrases
- logic programs
- abstract interpretation
- logic programming
- answer sets
- termination analysis
- stable models
- fixpoint
- answer set programming
- static analysis
- general logic programs
- computational properties
- normal logic programs
- dynamic analysis
- logic program updates
- inside outside algorithm
- active rules
- prolog programs
- model checking
- loop formulas
- test cases
- active databases
- horn clauses
- fixpoint semantics
- knowledge representation
- knowledge base