Login / Signup

A Space Consumption Analysis by Abstract Interpretation.

Manuel MontenegroRicardo PeñaClara Segura
Published in: FOPARA (2009)
Keyphrases
  • abstract interpretation
  • static analysis
  • information systems
  • data analysis
  • model checking