Login / Signup

Succinct Representations for Abstract Interpretation - Combined Analysis Algorithms and Experimental Evaluation.

Julien HenryDavid MonniauxMatthieu Moy
Published in: SAS (2012)
Keyphrases
  • experimental evaluation
  • abstract interpretation
  • static analysis
  • data analysis
  • database systems
  • data structure
  • data warehouse
  • software engineering
  • pattern matching
  • termination analysis