The Collection of
Computer Science Bibliographies

Bibliography on Semantics Based Program Analysis and Manipulation (from Semantics (TOPPS) group of DIKU)

[   About   |  Browse   |   Statistics   ]

Number of references:592Last update:December 1, 2008
Number of online publications:46Supported:yes
Most recent reference:May 2008

Information on the Bibliography

Author:
TOPPS group <topps-inform @ 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:
inproceedings(277), article(99), techreport(70), unpublished(35), mastersthesis(26), phdthesis(22), proceedings(19), incollection(16), book(12), misc(8), inbook(3), manual(3), booklet(2)
Fields:
semno(590), title(590), year(588), author(571), summary(518), keywords(428), id(373), puf(372), pages(352), booktitle(293), month(275), publisher(253), volume(221), editor(205), address(138), series(136), note(117), number(110), journal(99), institution(70), school(48), supersedes(41), organization(40), url(37), type(28), supersededby(27), postscript(12), howpublished(9), edition(6), isbn(6), location(5), dvi(4), issn(4), pdf(4), opteditor(3), chapter(2), conference(2), key(2), optmonth(2), optpages(2), optpublisher(2), ps(2), venue(2), abstract(1), issue(1), notes(1), optnote(1), optorganization(1), xpages(1)
Distribution of publication dates:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!