The Collection of
Computer Science Bibliographies
Up: Bibliographies on Programming Languages, Type Theory and Compiler Technology Collection Home

Abstract Interpretation Bibliography

[   About   |  Browse   |   Statistics   ]

Number of references:357Last update:August 9, 1994
Number of online publications:0Supported:no
Most recent reference:January 1993

Search the bibliography

Help on: [ Syntax | Options | Compression of results | Improving your query | Query examples ]
Boolean operators:and and or. Use () to group subexpressions.
Query:
Options:      
Results:       compress results (in case of low bandwidth)
Return a maximum of references.

Information on the Bibliography

Author:
Mads Rosendahl <rose @ diku . dk> (email mangled to prevent spamming)
DIKU
Department of Computer Science
University of Copenhagen
Universitetsparken 1
DK-2100 Copenhagen
Denmark

Browsing the bibliography

Bibliographic Statistics

Types:
incollection(159), article(71), techreport(64), inproceedings(45), book(18)
Fields:
title(357), year(355), author(354), pages(243), booktitle(204), publisher(179), volume(152), month(151), series(89), number(78), journal(71), institution(64), type(64), editor(63), chapter(23), abstract(5), address(3), edition(2), note(2)

Distribution of publication dates:

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.