Abstract interpretation of resolution-based semantics.

Patrick Cousot Radhia Cousot Roberto Giacobazzi

Published in: Theor. Comput. Sci. (2009)

Keyphrases

abstract interpretation
active rules
termination analysis
integrity constraints
active databases
static analysis
logic programming
semantic information
model checking
formal semantics
deductive databases
reasoning engine
database
case study
dynamic analysis
knowledge base
information systems
databases