Abstract Interpretation over Non-lattice Abstract Domains.

Graeme Gange Jorge A. Navas Peter Schachte Harald Søndergaard Peter J. Stuckey

Published in: SAS (2013)

Keyphrases

abstract interpretation
termination analysis
static analysis
active rules
reasoning engine
dynamic analysis
model checking
active databases
open source
information systems
integrity constraints
temporal databases
fine grained
distributed systems
database systems
case study
knowledge base