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

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

[   About   |  Browse   |   Statistics   ]

Number of references:504Last update:June 21, 2004
Number of online publications:35Supported:yes
Most recent reference:2004

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:
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(227), article(83), techreport(57), unpublished(34), mastersthesis(25), phdthesis(22), incollection(17), proceedings(12), book(11), misc(8), inbook(3), manual(3), booklet(2)
Fields:
semno(504), title(504), year(502), author(490), summary(443), keywords(389), id(291), puf(290), pages(287), booktitle(246), month(233), publisher(224), editor(185), volume(180), note(114), series(112), address(105), number(94), journal(83), institution(57), school(47), organization(39), supersedes(36), supersededby(27), type(21), url(19), postscript(12), howpublished(9), edition(6), dvi(4), pdf(4), opteditor(3), chapter(2), conference(2), isbn(2), key(2), location(2), optmonth(2), optpages(2), optpublisher(2), ps(2), venue(2), abstract(1), issn(1), issue(1), notes(1), optnote(1), optorganization(1), xpages(1)

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.