@Bibtex-file{LogicProgramming/abstract.interpretation.bib,
  title =        "Abstract Interpretation for Logic Programming: {A}
                 Bibliography",
  author =       "Marc-Michel Corsini",
  email =        "corsini@u-bordeaux2.fr",
  address =      "Laboratoire Bordelais de Recherche en Informatique
                 (LaBRI)\\Universit{\'e} Bordeaux I\\351, cours de la
                 Lib{\'e}ration\\ 33405 Talence Cedex\\ France",
  supported =    "gone",
  abstract =     "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. \par The aim of this paper is to provide a
                 merely complete bibliography on Abint of any kind of
                 logic programs.",
  readme =       "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. \par 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.",
}