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

Francesco Logozzo Manuel Fähndrich

Published in: Sci. Comput. Program. (2010)

Keyphrases

domain specific
relational databases
cost effective
domain independent
computationally efficient
image sequences
programming language
lightweight
domain ontology