Inductive Definitions, Semantics and Abstract Interpretation.

Patrick Cousot Radhia Cousot

Published in: POPL (1992)

Keyphrases

abstract interpretation
active rules
termination analysis
static analysis
formal semantics
active databases
fixed point semantics
logic programming
model checking
semantic information
database technology
object oriented databases
high level
matching algorithm
deductive databases
reasoning engine