Abstract Interpretation with Higher-Dimensional Ellipsoids and Conic Extrapolation.

Mendes Oulamara Arnaud J. Venet

Published in: CAV (1) (2015)

Keyphrases

higher dimensional
abstract interpretation
termination analysis
static analysis
model checking
active rules
reasoning engine
finite number
euclidean space
high dimensional
low dimensional
distance transform
dynamic analysis
active databases
source code
databases
vector space
pattern recognition