A generic fixpoint semantics for PROLOG and its application for abstract interpretation.
Baudouin Le CharlierPascal Van HentenryckPublished in: JFPLC (1995)
Keyphrases
- abstract interpretation
- fixpoint semantics
- termination analysis
- logic programs
- logic programming
- deductive databases
- active rules
- static analysis
- model checking
- fixpoint
- dynamic analysis
- expert systems
- model theoretic
- datalog programs
- reasoning engine
- active databases
- programming language
- knowledge base
- answer sets
- declarative semantics
- integrity constraints
- horn clauses
- constraint logic programming
- data complexity
- theorem proving