The Collection of
Computer Science Bibliographies

Abstract Interpretation for Logic Programming: A Bibliography

[   About   |  Browse   |   Statistics   ]

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

in  ;
Publication year: in:, since:, before: (four digit years)
Options: , ,

You may use Lucene syntax, available fields are: ti (title), au (author), yr (publications year).

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

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), crossrefonly(64), note(64), organization(48), issn(37), isbn(33), 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:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!