Login / Signup
Inference of Necessary Field Conditions with Abstract Interpretation.
Mehdi Bouaziz
Francesco Logozzo
Manuel Fähndrich
Published in:
APLAS (2012)
Keyphrases
</>
abstract interpretation
static analysis
multi agent systems
termination analysis
pattern matching