Search
Now showing items 1-1 of 1
On Our Experience with Modular Pluggable Analyses
(2004-10-04)
We present a technique that enables the focused applicationof multiple analyses to di erent modules in thesame program. In our approach, each module encapsulatesone or more data structures and uses membershipin abstract ...