On the Design of Generic Abstract Interpretation Frameworks.
Baudouin Le Charlier, Pascal Van Hentenryck · WSA · 1992
Abstract interpretation is a general methodology for building static analyses of programs. It was introduced by P. and R. Cousot in [5]. The original idea was subsequently adapted, reformulated, and applied to many programming paradigms. As a consequence, this field of research is currently rather fragmented (although very active). We present, in this paper, the main methodological aspects of a general approach which is widely applicable and was shown very effective for logic programs. We compare it to some previous proposals and argue that this approach is unifying.