C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Using the abstract interpretation technique for static pointer analysis.
Hugues Cassé
L. Féraud
Christine Rochange
Pascal Sainrat
Published in:
SIGARCH Comput. Archit. News (1999)
Keyphrases
</>
abstract interpretation
dynamic analysis
database
model checking
fine grained
distributed databases