Login / Signup
Abstract Interpretation with Higher-Dimensional Ellipsoids and Conic Extrapolation.
Mendes Oulamara
Arnaud Venet
Published in:
CoRR (2015)
Keyphrases
</>
higher dimensional
abstract interpretation
termination analysis
static analysis
model checking
active rules
finite number
high dimensional
euclidean space
active databases
dynamic analysis
reasoning engine
distance transform
low dimensional
relational databases
data analysis
euclidean distance