Automatic Repair of Overflowing Expressions with Abstract Interpretation.

Francesco Logozzo Matthieu Martel

Published in: Festschrift for Dave Schmidt (2013)

Keyphrases

abstract interpretation
termination analysis
static analysis
natural language
active rules
databases
query processing
pattern matching
model checking
integrity constraints