Complementation in Abstract Interpretation

Agostino Cortesi Gilberto Filé Roberto Giacobazzi Catuscia Palamidessi Francesco Ranzato

Published in: SAS (1995)

Keyphrases

abstract interpretation
termination analysis
static analysis
model checking
active rules
reasoning engine
dynamic analysis
active databases
information systems
multi agent systems
source code
knowledge representation
object oriented