PostHat and All That: Automating Abstract Interpretation.

Aditya V. Thakur Akash Lal Junghee Lim Thomas W. Reps

Published in: Electron. Notes Theor. Comput. Sci. (2015)

Keyphrases

database
abstract interpretation
termination analysis
active rules
static analysis
model checking
active databases
dynamic analysis
reasoning engine
data management
database applications