Flow Sensitive-Insensitive Pointer Analysis Based Memory Safety for Multithreaded Programs.

Mohamed A. El-Zawawy

Published in: ICCSA (5) (2011)

Keyphrases

data structure
quantitative analysis
databases
search algorithm
data analysis
case study
image segmentation
logic programs