3 citations · 3 across the 3 of their papers we have counts for
1 paper · 1 filter
Kaninda Musumbu
interpretation is a general methodology for building static analyses of programs. It was introduced by P. and R. Cousot in \cite{cc}. We present, in this paper, an application of a…