Abstract Interpretation for Logic Programming: A Bibliography

[   About   |  Browse   |   Statistics   ]

Number of references:	512	Last update:	July 6, 2001
Number of online publications:	24	Supported:	no
Most recent reference:	December 2000

Search the bibliography

Information on the Bibliography

Author:

Marc-Michel Corsini <corsini @ u-bordeaux2 . fr> (email mangled to prevent spamming)
Laboratoire Bordelais de Recherche en Informatique (LaBRI)
Université Bordeaux I
351, cours de la Libération
33405 Talence Cedex
France

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.

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.

Browsing the bibliography

• Original source:

  Used to be available at
  http://dept-info.labri.u-bordeaux.fr/~corsini/Public/Reports/biblio.tar.Z
  but has disappeared.

  Other sites:

  http://dept-info.labri.u-bordeaux.fr... (Format: html)
  

• Local copy in BibTeX format (47 KB, compressed with gzip)

Bibliographic Statistics

Types:

inproceedings(231), techreport(91), article(86), proceedings(63), phdthesis(21), unpublished(7), incollection(5), book(3), misc(3), mastersthesis(2)

Fields:

acknowledgement(512), title(512), year(512), author(447), pages(302), booktitle(299), month(266), publisher(257), address(244), editor(234), volume(189), number(155), series(124), institution(91), journal(87), type(78), note(65), crossrefonly(64), organization(48), issn(37), isbn(32), abstract(26), url(25), school(23), comment(7), keywords(3), chapter(2), howpublished(2), notes(2), adress(1), annote(1), day(1), key(1), lccn(1), nore(1), remarks(1), xxvolume(1)

Distribution of publication dates:

Please direct comments regarding the bibliography collection to <liinwwwa@ira.uka.de>. This page is part of the Computer Science Bibliography Collection. Copyright © 1994-2004, Alf-Christian Achilles. All Rights Reserved.