Master index for toplas.bib

Last update: Thu Apr 11 02:12:53 MDT 2024                Valid HTML 4.0!

LICENSE

Index sections

Symbols | Math | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

Follow this link for documentation about the automated preparation of this index.

Follow this link for indexes of other journals.

Words that appear more than 100 times have been excluded. Words that appear in more than 25% of the entries have been excluded, provided they appeared more than 100 times.

BibTeX file header data

Filename: toplas.bib
Version: 2.153
Date: 10 April 2024
Time: 08:59:18 MST
Checksum: 46085 48524 239919 2406628 [CRC-16 words lines bytes]

BibTeX file docstring comments

This is a COMPLETE bibliography of the journal ACM Transactions on Programming Languages and Systems (CODEN ATPSDT, ISSN 0164-0925 (print), 1558-4593 (electronic)), informally known as TOPLAS.

The publisher maintains World Wide Web sites for this journal at

    http://www.acm.org/pubs/contents/journals/toplas/
    http://portal.acm.org/browse_dl.cfm?idx=J783
    https://dl.acm.org/loi/toplas

At version 2.153, the year coverage looked like this:

     1979 (  20)    1995 (  39)    2011 (  21)
     1980 (  33)    1996 (  29)    2012 (  17)
     1981 (  28)    1997 (  35)    2013 (  14)
     1982 (  39)    1998 (  34)    2014 (  14)
     1983 (  36)    1999 (  32)    2015 (  17)
     1984 (  34)    2000 (  28)    2016 (  13)
     1985 (  34)    2001 (  17)    2017 (  16)
     1986 (  26)    2002 (  21)    2018 (  19)
     1987 (  27)    2003 (  20)    2019 (  23)
     1988 (  32)    2004 (  28)    2020 (  15)
     1989 (  30)    2005 (  33)    2021 (  21)
     1990 (  28)    2006 (  27)    2022 (  26)
     1991 (  30)    2007 (  45)    2023 (  22)
     1992 (  22)    2008 (  33)    2024 (   4)
     1993 (  32)    2009 (  23)
     1994 (  66)    2010 (  21)

     Article:       1223
     TechReport:       1

     Total entries: 1224

This bibliography was initially constructed by hand by the first author (PB) from various sources, and at its last release in February 1995, had 447 entries.

It was further extended by the second author (NHFB) using bibliographies in NHFB's personal files, from the OCLC Contents1st database, from the IEEE INSPEC database, from the computer graphics bibliography archive at ftp.siggraph.org, and from the computer science bibliography collection on ftp.ira.uka.de in /pub/bibliography to which many people of have contributed. The snapshot of this collection was taken on 5-May-1994, and it consists of 441 BibTeX files, 2,672,675 lines, 205,289 entries, and 6,375 <at>String{} abbreviations, occupying 94.8MB of disk space. This work updated 85 existing entries and added 104 new entries, completing coverage to for all issues up to Volume 17, Number 5, September 1995.

Numerous errors in the sources noted above have been corrected. Spelling has been verified with the UNIX spell and GNU ispell programs using the exception dictionary stored in the companion file with extension .sok.

The ACM maintains Web pages with journal tables of contents for 1985--1995 at http://www.acm.org/pubs/toc. That data has been automatically converted to BibTeX form, corrected for spelling and page number errors, and merged into this file.

ACM copyrights explicitly permit abstracting with credit, so article abstracts, keywords, and subject classifications have been included in this bibliography wherever available. Article reviews have been omitted, until their copyright status has been clarified.

bibsource keys in the bibliography entries below indicate the entry originally came from the computer science bibliography archive, even though it has likely since been corrected and updated.

URL keys in the bibliography point to World Wide Web locations of additional information about the entry.

BibTeX citation tags are uniformly chosen as name:year:abbrev, where name is the family name of the first author or editor, year is a 4-digit number, and abbrev is a 3-letter condensation of important title words. Citation tags were automatically generated by software developed for the BibNet Project.

In this bibliography, entries are sorted in publication order, using bibsort -byvolume.

The checksum field above contains a CRC-16 checksum as the first value, followed by the equivalent of the standard UNIX wc (word count) utility output of lines, words, and characters. This is produced by Robert Solovay's checksum utility.