Login / Signup

On the Desirable Link Between Theory and Practice in Abstract Interpretation (Extended Abstract).

Baudouin Le CharlierPierre Flener
Published in: SAS (1997)
Keyphrases
  • extended abstract
  • abstract interpretation
  • termination analysis
  • static analysis
  • reasoning engine
  • model checking
  • dynamic analysis
  • database
  • xml documents
  • source code
  • evaluation model