Login / Signup

Relational Thread-Modular Static Value Analysis by Abstract Interpretation.

Antoine Miné
Published in: VMCAI (2014)
Keyphrases
  • abstract interpretation
  • static analysis
  • dynamic analysis
  • active rules
  • relational databases
  • management system
  • logic programs
  • termination analysis