Keyphrases
- static analysis
- logic programs
- abstract interpretation
- logic programming
- answer sets
- dynamic analysis
- stable models
- source code
- fixpoint
- answer set programming
- normal logic programs
- computational properties
- logic program updates
- regular expressions
- prolog programs
- general logic programs
- formal specification
- loop formulas
- high level
- test suite
- stable model semantics
- inside outside algorithm
- horn clauses
- inductive logic programming
- specification language
- deductive databases
- fixpoint semantics
- conceptual model
- nonmonotonic reasoning
- propositional theories
- model checking
- open source
- object oriented