Login / Signup

Modular Static Program Analysis.

Patrick CousotRadhia Cousot
Published in: CC (2002)
Keyphrases
  • modular structure
  • real time
  • highly flexible
  • database
  • artificial intelligence
  • case study