Checking Array Bounds by Abstract Interpretation and Symbolic Expressions.

Étienne Payet Fausto Spoto

Published in: IJCAR (2018)

Keyphrases

abstract interpretation
termination analysis
static analysis
active rules
model checking
dynamic analysis
active databases
reasoning engine
databases
high level
open source
integrity constraints
object oriented databases