• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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