Login / Signup

Using the abstract interpretation technique for static pointer analysis.

Hugues CasséL. FéraudChristine RochangePascal Sainrat
Published in: SIGARCH Comput. Archit. News (1999)
Keyphrases
  • abstract interpretation
  • dynamic analysis
  • database
  • model checking
  • fine grained
  • distributed databases