Abstract Interpretation of PIC Programs through Logic Programming.
Kim S. HenriksenJohn P. GallagherPublished in: SCAM (2006)
Keyphrases
- logic programming
- abstract interpretation
- termination analysis
- logic programs
- answer sets
- stable models
- static analysis
- deductive databases
- declarative semantics
- active rules
- model checking
- nonmonotonic reasoning
- strong and uniform equivalence
- logic programming language
- answer set programming
- programming language
- reasoning engine
- declarative programming
- fixpoint
- normal logic programs
- knowledge base
- constraint logic programming
- dynamic analysis
- knowledge representation
- active databases
- stable model semantics
- default logic
- probabilistic logic programs
- answer set programs
- expert systems
- disjunctive logic programming
- information systems