Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures.

Ahmed Bouajjani Séverine Fratani Shaz Qadeer

Published in: CAV (2007)

Keyphrases

statistical analysis
context sensitive
image processing
website
information technology
relational databases
multiresolution
quantitative analysis
context dependent