The Collection of
Computer Science Bibliographies

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

Number of references:	608	Last update:	March 3, 2010
Number of online publications:	54	Supported:	yes
Most recent reference:	February 2010

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(283), article(101), techreport(74), unpublished(36), mastersthesis(27), phdthesis(22), proceedings(20), incollection(16), book(12), misc(8), inbook(4), manual(3), booklet(2)
Fields:: semno(606), title(606), year(603), author(586), summary(526), keywords(436), id(382), puf(381), pages(359), booktitle(300), month(287), publisher(257), volume(224), editor(207), address(142), series(137), note(122), number(112), journal(101), institution(75), school(49), supersedes(41), organization(40), url(39), type(32), supersededby(27), postscript(12), howpublished(9), pdf(8), isbn(7), edition(6), date-added(5), date-modified(5), location(5), dvi(4), issn(4), chapter(3), opteditor(3), conference(2), key(2), optmonth(2), optpages(2), optpublisher(2), ps(2), venue(2), abstract(1), doi(1), doi-url(1), ee(1), issue(1), notes(1), optnote(1), optorganization(1), xpages(1)
Distribution of publication dates: