Pentagons: a weakly relational abstract domain for the efficient validation of array accesses.

Francesco Logozzo Manuel Fähndrich

Published in: SAC (2008)

Keyphrases

data sets
domain independent
high level
domain specific
computationally expensive
relational databases
data model
probabilistic model
object oriented
high speed
domain ontology
cost effective
relational data
entity relationship
statistical relational learning