Conjunctive Abstract Interpretation Using Paramodulation.

Or Ozeri Oded Padon Noam Rinetzky Mooly Sagiv

Published in: VMCAI (2017)

Keyphrases

abstract interpretation
termination analysis
static analysis
inference rules
active rules
model checking
theorem proving
active databases
first order logic
dynamic analysis
reasoning engine
closely related
source code
databases
knowledge representation
relational databases
information systems