Gary T. Leavens' personal bibliography

[   About   |  Browse   |   Statistics   ]

Number of references:	4328	Last update:	June 22, 2004
Number of online publications:	262	Supported:	yes
Most recent reference:	2005

Search the bibliography

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

• Original source:

  http://www.cs.iastate.edu... (Format: bibtex, compressed)

  Other sites:

  http://www.cs.iastate.edu... (Format: html)
  

Bibliographic Statistics

Types:

article(1529), inproceedings(748), book(740), techreport(579), incollection(530), unpublished(84), phdthesis(55), proceedings(27), manual(16), inbook(8), misc(6), mastersthesis(5), techrepot(1)

Fields:

title(4328), year(4301), author(4244), key(4135), annote(3003), month(2680), pages(2623), volume(2063), number(2033), address(1562), journal(1557), publisher(1554), booktitle(1271), series(773), editor(770), note(730), institution(571), organization(421), url(208), type(89), edition(63), isbn(60), school(60), chapter(52), keywords(30), location(22), page(14), publsiher(12), abstract(10), doi(10), issn(8), annotate(7), lccn(7), local-url(7), institute(6), howpublished(5), urldvi(3), annotation(2), other(1), urlps(1), where(1)

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.