Login / Signup

Inference of Necessary Field Conditions with Abstract Interpretation.

Mehdi BouazizFrancesco LogozzoManuel Fähndrich
Published in: APLAS (2012)
Keyphrases
  • abstract interpretation
  • static analysis
  • multi agent systems
  • termination analysis
  • pattern matching