Login / Signup

Failure Analysis Based on Abstract Interpretation.

Marc-Michel CorsiniKaninda Musumbu
Published in: Declarative Programming (1991)
Keyphrases
  • abstract interpretation
  • static analysis
  • dynamic analysis
  • high level
  • data analysis
  • database management systems