Abstract interpretation (Abint for short) is a general framework wherein one can define techniques for computing ``a priori'' information about the run time behavior of programs. The aim of such a technique is, in general, to produce optimized code for the analyzed program. Since the original paper of Patrick and Radhia Cousot, published in the proceedings of POPL'77, on abstract interpretation, the researchers have worked both, for translating the theoretical work into the domain of Logic Programming and for deriving instances of Abint that are specific of this domain. Since 1990, a wide range of publications and phd dissertations have been devoted to (concurrent) logic programming with constraints. The aim of this paper is to provide a merely complete bibliography on Abint of any kind of logic programs.
Author Comments:
Be aware that there exists other interesting papers on Abstract Interpretation that are not included in this bibliography. Any corrections a well as new items to this bibliography are kindly requested and highly appreciated in advance. This bibliography database is built by merging files from Maurice Bruynooghe, Michael Codish, Marc-Michel Corsini, Roberto Giacobazzi, Manuel Hermenegildo, Baudouin Le Charlier, Michael Leuschel, and items coming from John Gallagher, Andy King, Ulf Nilsson, Peter Van Roy and others. Thanks to all who contributed to this work.
