The Collection of
Computer Science Bibliographies

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

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

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

Original source:

ftp://ftp.diku.dk... (*.bib) (Format: bibtex)
Other sites:

http://www.diku.dk... (Format: html)

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: