The Collection of
Computer Science Bibliographies

Gary T. Leavens' personal bibliography

[   About   |  Browse   |   Statistics   ]

Number of references:5096Last update:July 11, 2013
Number of online publications:0Supported:yes
Most recent reference:August 2013

in  ;
Publication year: in:, since:, before: (four digit years)
Options: , ,

You may use Lucene syntax, available fields are: ti (title), au (author), yr (publications year).

Information on the Bibliography

Author:
Gary T. Leavens <leavens @ cs . iastate . edu> (email mangled to prevent spamming)
Department of Computer Science
Iowa State University
Abstract:
Type theory, abstract data types, subtyping, types in programming languages; 1970s and older references on datatypes, type theory, etc.; Distributed and parallel processing, except language definitions; Programming language issues, semantics, implementation, except types and distributed/parallel stuff. All language definitions are here.; Software engineering, specification, verification; Math, general stuff that doesn't go elsewhere.

Browsing the bibliography

Bibliographic Statistics

Types:
article(1644), inproceedings(1151), book(820), techreport(630), incollection(541), unpublished(106), phdthesis(65), proceedings(49), misc(48), manual(24), mastersthesis(10), inbook(8)
Fields:
title(5096), year(5079), author(4973), annote(3133), pages(3058), month(2950), volume(2319), number(2191), publisher(2039), address(1983), booktitle(1748), journal(1668), series(972), editor(923), note(743), url(634), institution(633), organization(442), isbn(134), doi(119), doi-url(119), location(118), type(93), school(74), edition(73), chapter(54), keywords(44), howpublished(41), key(26), issn(20), page(15), abstract(12), numpages(10), annotate(9), institute(8), local-url(7), acmid(6), lccn(6), pdf(4), affiliation(3), urldvi(3), annotation(2), articleno(2), date(2), ee(2), issue(2), keyword(2), longbooktitle(2), place(2), bibdate(1), conference(1), description(1), mon(1), nubmer(1), oldnote(1), other(1), section(1), sigplannoticesvolume(1), urlps(1), where(1)
Distribution of publication dates:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!