%%% -*-BibTeX-*-
%%% ====================================================================
%%% BibTeX-file{
%%% author = "Nelson H. F. Beebe",
%%% version = "2.26",
%%% date = "02 January 2008",
%%% time = "14:34:20 MST",
%%% filename = "cacm1970.bib",
%%% address = "University of Utah
%%% Department of Mathematics, 110 LCB
%%% 155 S 1400 E RM 233
%%% Salt Lake City, UT 84112-0090
%%% USA",
%%% telephone = "+1 801 581 5254",
%%% FAX = "+1 801 581 4148",
%%% checksum = "02550 45212 209106 2073234",
%%% email = "beebe at math.utah.edu, beebe at acm.org,
%%% beebe at computer.org (Internet)",
%%% codetable = "ISO/ASCII",
%%% keywords = "bibliography, CACM, Communications of the
%%% ACM",
%%% license = "public domain",
%%% supported = "yes",
%%% docstring = "This is a bibliography of the journal
%%% Communications of the ACM (CODEN CACMA2, ISSN
%%% 0001-0782), covering (incompletely) 1970 --
%%% 1979.
%%%
%%% At version 2.26, the year coverage looked
%%% like this:
%%%
%%% 1961 ( 1) 1972 ( 179) 1983 ( 1)
%%% 1962 ( 1) 1973 ( 162) 1984 ( 0)
%%% 1963 ( 5) 1974 ( 138) 1985 ( 3)
%%% 1964 ( 4) 1975 ( 121) 1986 ( 1)
%%% 1965 ( 2) 1976 ( 96) 1987 ( 0)
%%% 1966 ( 2) 1977 ( 121) 1988 ( 0)
%%% 1967 ( 3) 1978 ( 120) 1989 ( 0)
%%% 1968 ( 6) 1979 ( 81) 1990 ( 2)
%%% 1969 ( 8) 1980 ( 1) 1991 ( 4)
%%% 1970 ( 154) 1981 ( 2) 1992 ( 1)
%%% 1971 ( 106) 1982 ( 1)
%%%
%%% Article: 1320
%%% Book: 2
%%% InProceedings: 1
%%% Manual: 1
%%% MastersThesis: 1
%%% PhdThesis: 1
%%%
%%% Total entries: 1326
%%%
%%% The size of the original cacm.bib file
%%% covering 1958--1996 became too large (about
%%% 4000 entries) for BibTeX and TeX to handle,
%%% so at version 1.44, it was split into
%%% cacm1950.bib, cacm1960.bib, cacm1970.bib,
%%% cacm1980.bib, and cacm1990.bib, each covering
%%% the decade starting with the year embedded in
%%% the filename. Version numbers for these
%%% files begin at 2.00.
%%%
%%% Volumes from the 1990s average more than 200
%%% articles yearly, so a complete bibliography
%%% for this journal could contain more than 6000
%%% entries from 1958 to 2000.
%%%
%%% These bibliographies also include ACM
%%% Algorithms 1--492. For Algorithms 493--686,
%%% including Algorithm 568, published in ACM
%%% Transactions on Programming Languages and
%%% Systems (TOPLAS), see the companion
%%% bibliographies, toms.bib and toplas.bib.
%%%
%%% All published Remarks and Corrigenda are
%%% cross-referenced in both directions, so
%%% that citing a paper will automatically
%%% generate citations for those Remarks and
%%% Corrigenda. Cross-referenced entries are
%%% duplicated in cacm19*.bib and toms.bib, so
%%% that each is completely self-contained.
%%%
%%% Source code for ACM Algorithms from 380
%%% onwards, with some omissions, is available
%%% via the Netlib service at
%%% http://netlib.ornl.gov/, and
%%% ftp://netlib.bell-labs.com/netlib/toms.
%%%
%%% There is a World Wide Web search facility
%%% for articles published in this journal from
%%% 1959 to 1979 at
%%% http://ciir.cs.umass.edu/cgi-bin/web_query_form/public/cacm2.1.
%%%
%%% The initial draft of entries for 1981 --
%%% 1990 was extracted from the ACM Computing
%%% Archive CD ROM for the 1980s, with manual
%%% corrections and additions. Additions were
%%% then made from all of the bibliographies in
%%% the TeX User Group collection, from
%%% bibliographies in the author's personal
%%% files, from the Compendex database
%%% (1970--1979), from the IEEE INSPEC database
%%% (1970--1979), from tables of contents
%%% information at http://www.acm.org/pubs/cacm/,
%%% from Zentralblatt fur Mathematik Mathematics
%%% Abstracts at
%%% http://www.emis.de/cgi-bin/MATH/, from
%%% bibliographies at Internet host
%%% netlib.bell-labs.com, 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.
%%%
%%% 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.
%%%
%%% 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 within each journal,
%%% 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.",
%%% }
%%% ====================================================================
@Preamble{
"\input bibnames.sty " #
"\input path.sty " #
"\def \TM {${}^{\sc TM}$} " #
"\hyphenation{
al-pha-mer-ic
Balz-er
Blom-quist
Bo-ta-fo-go
Bran-din
Brans-comb
Bu-tera
Chris-tina
Christ-o-fi-des
Col-lins
Cor-dell
data-base
econ-omies
Fletch-er
flow-chart
flow-charts
Fry-styk
ge-dank-en
Gar-fink-el
Ge-ha-ni
Glush-ko
Goud-reau
Gua-dan-go
Hari-di
Haw-thorn
Hem-men-ding-er
Hor-o-witz
Hour-vitz
Hirsch-berg
Ike-da
Ka-chi-tvi-chyan-u-kul
Kat-ze-nel-son
Kitz-miller
Ko-ba-yashi
Le-Me-tay-er
Ken-ne-dy
Law-rence
Mac-kay
Mai-net-ti
Mar-sa-glia
Max-well
Mer-ner
Mo-ran-di
Na-ray-an
New-ell
Nich-ols
para-digm
pat-ent-ed
Phi-lo-kyp-rou
Prep-a-ra-ta
pseu-do-chain-ing
QUIK-SCRIPT
Rad-e-mach-er
re-eval-u-a-tion
re-wind
Ros-witha
Scheu-er-mann
Schwach-heim
Schob-bens
Schon-berg
Sho-sha-ni
Si-tha-ra-ma
Skwa-rec-ki
Streck-er
Strin-gi-ni
Tes-ler
Te-zu-ka
Teu-ho-la
Till-quist
Town-send
Tsi-chri-tzis
Tur-ski
Vuille-min
Wald-ing-er
Za-bo-row-ski
Za-mora
}"}
%%% ====================================================================
%%% Acknowledgement abbreviations:
@String{ack-nhfb = "Nelson H. F. Beebe,
University of Utah,
Department of Mathematics, 110 LCB,
155 S 1400 E RM 233,
Salt Lake City, UT 84112-0090, USA,
Tel: +1 801 581 5254,
FAX: +1 801 581 4148,
e-mail: \path|beebe@math.utah.edu|,
\path|beebe@acm.org|,
\path|beebe@computer.org| (Internet),
URL: \path|http://www.math.utah.edu/~beebe/|"}
@String{ack-nj = "Norbert Juffa,
2445 Mission College Blvd.
Santa Clara, CA 95054
USA
email: \path=norbert@iit.com="}
%%% ====================================================================
%%% Journal abbreviations:
@String{j-CACM = "Communications of the ACM"}
@String{j-COMP-SURV = "Computing Surveys"}
@String{j-J-ACM = "Journal of the ACM"}
@String{j-MANAGEMENT-SCIENCE = "Management Science"}
@String{j-SIAM-J-COMPUT = "SIAM Journal of Computing"}
@String{j-SPE = "Software --- Practice and Experience"}
@String{j-TOMS = "ACM Transactions on Mathematical Software"}
%%% ====================================================================
%%% Publisher abbreviations:
@String{pub-ANSI = "American National Standards Institute"}
@String{pub-ANSI:adr = "1430 Broadway, New York, NY 10018, USA"}
@String{pub-AW = "Ad{\-d}i{\-s}on-Wes{\-l}ey"}
@String{pub-AW:adr = "Reading, MA, USA"}
@String{pub-SUCSLI = "Stanford University Center for the Study of
Language and Information"}
@String{pub-SUCSLI:adr = "Stanford, CA, USA"}
%%% ====================================================================
%%% Bibliography entries (cross-references in notes necessitate
%%% inclusion of a few additional entries published elsewhere):
@Article{Herndon:1961:AASa,
author = "J. R. Herndon",
title = "{ACM Algorithm 49}: Spherical {Neumann} Function",
journal = j-CACM,
volume = "4",
number = "4",
pages = "179",
month = apr,
year = "1961",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Thu Sep 08 09:47:50 1994",
note = "See also \cite{Coleman:1978:RAS}.",
acknowledgement = ack-nhfb,
}
@Article{Merner:1962:AAC,
author = "J. N. Merner",
title = "{ACM Algorithm 149}: Complete Elliptic Integral",
journal = j-CACM,
volume = "5",
number = "12",
pages = "605",
month = dec,
year = "1962",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Thu Sep 08 09:47:50 1994",
note = "See also \cite{Skovgaard:1978:RCE}.",
acknowledgement = ack-nhfb,
}
@Article{Arthurs:1963:AAL,
author = "T. D. Arthurs",
title = "{ACM Algorithm 176}: Least Squares Surface Fit",
journal = j-CACM,
volume = "6",
number = "6",
pages = "313",
month = jun,
year = "1963",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Thu Sep 08 09:31:33 1994",
note = "See remark \cite{Schuegraf:1972:RAL}.",
acknowledgement = ack-nhfb,
}
@Article{Ludwig:1963:AAI,
author = "O. G. Ludwig",
title = "{ACM Algorithm 179}: Incomplete Beta Ratio",
journal = j-CACM,
volume = "6",
number = "6",
pages = "314",
month = jun,
year = "1963",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Thu Sep 08 09:47:50 1994",
note = "See also \cite{Pike:1976:RIB,Bosten:1974:RAI}.",
acknowledgement = ack-nhfb,
}
@Article{Relph:1963:AAH,
author = "A. P. Relph",
title = "{ACM Algorithm 191}: Hypergeometric",
journal = j-CACM,
volume = "6",
number = "7",
pages = "388--389",
month = jul,
year = "1963",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Thu Sep 08 09:32:02 1994",
note = "See certification \cite{Koppelaar:1974:CRA}.",
acknowledgement = ack-nhfb,
}
@Article{Thurnau:1963:AAB,
author = "D. H. Thurnau",
title = "{ACM Algorithm 195}: {BANDSOLVE}",
journal = j-CACM,
volume = "6",
number = "8",
pages = "441",
month = aug,
year = "1963",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Thu Sep 08 09:32:11 1994",
note = "See remark \cite{Schuegraf:1972:RAB}.",
acknowledgement = ack-nhfb,
}
@Article{Kase:1963:AAT,
author = "R. H. Kase",
title = "{ACM Algorithm 219}: Topological Ordering for {Pert}
Networks",
journal = j-CACM,
volume = "6",
number = "12",
pages = "738--739",
month = dec,
year = "1963",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Thu Sep 08 09:47:51 1994",
note = "See also \cite{Tenney:1977:RAT}.",
acknowledgement = ack-nhfb,
}
@Article{Gautschi:1964:AAI,
author = "W. Gautschi",
title = "{ACM Algorithm 222}: Incomplete Beta Function Ratios",
journal = j-CACM,
volume = "7",
number = "3",
pages = "143--144",
month = mar,
year = "1964",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Thu Sep 08 09:32:19 1994",
note = "See remark \cite{Kolm:1971:MAL,Ellis:1974:RAHb}.",
acknowledgement = ack-nhfb,
}
@Article{Gautschi:1964:AAB,
author = "W. Gautschi",
title = "{ACM Algorithm 236}: {Bessel} Functions of the First
Kind",
journal = j-CACM,
volume = "7",
number = "8",
pages = "479--480",
month = aug,
year = "1964",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Thu Sep 08 09:47:54 1994",
note = "See also \cite{Skovgaard:1975:RBF}.",
acknowledgement = ack-nhfb,
}
@Article{Boothroyd:1964:AAG,
author = "J. Boothroyd",
title = "{ACM Algorithm 246}: Graycode",
journal = j-CACM,
volume = "7",
number = "12",
pages = "701",
month = dec,
year = "1964",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Thu Sep 08 09:47:54 1994",
note = "See also \cite{Misra:1975:RG,Er:1985:RG}.",
acknowledgement = ack-nhfb,
}
@Article{Floyd:1964:AAT,
author = "R. W. Floyd",
title = "{ACM Algorithm 245}: Treesort 3",
journal = j-CACM,
volume = "7",
number = "12",
pages = "701",
month = dec,
year = "1964",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Thu Sep 08 09:32:18 1994",
note = "See certification \cite{London:1970:CAM}.",
acknowledgement = ack-nhfb,
}
@Article{Gautschi:1965:AAL,
author = "W. Gautschi",
title = "{ACM Algorithm 259}: {Legendre} Functions for
Arguments Larger than One",
journal = j-CACM,
volume = "8",
number = "8",
pages = "488--492",
month = aug,
year = "1965",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Thu Sep 08 09:47:54 1994",
note = "See also \cite{Jansen:1977:RLF}.",
acknowledgement = ack-nhfb,
}
@Article{Pike:1965:AAP,
author = "M. C. Pike and I. D. Hill",
title = "{ACM Algorithm 266}: Pseudo-Random Numbers",
journal = j-CACM,
volume = "8",
number = "10",
pages = "605--606",
month = oct,
year = "1965",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Thu Sep 08 09:32:34 1994",
note = "See certification \cite{Sullins:1972:CAP}.",
acknowledgement = ack-nhfb,
}
@Article{Fletcher:1966:AAI,
author = "W. Fletcher",
title = "{ACM Algorithm 284}: Interchange of Two Blocks of
Data",
journal = j-CACM,
volume = "9",
number = "5",
pages = "326",
month = may,
year = "1966",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Thu Sep 08 09:47:54 1994",
note = "See also \cite{Ito:1976:RIT}.",
acknowledgement = ack-nhfb,
}
@Article{Hill:1967:AAC,
author = "I. D. Hill and M. C. Pike",
title = "{ACM Algorithm 299}: Chi-Squared Integral",
journal = j-CACM,
volume = "10",
number = "4",
pages = "243--244",
month = apr,
year = "1967",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Thu Sep 08 09:47:54 1994",
note = "See also \cite{Lozy:1976:RCS,Hill:1985:RCS}.",
acknowledgement = ack-nhfb,
}
@Article{Gunn:1967:AAC,
author = "J. H. Gunn",
title = "{ACM Algorithm 300}: {Coulomb} Wave Functions",
journal = j-CACM,
volume = "10",
number = "4",
pages = "244--245",
month = apr,
year = "1967",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Thu Sep 08 09:32:53 1994",
note = "See remark \cite{Vos:1973:RAC}.",
acknowledgement = ack-nhfb,
}
@Article{Brown:1967:AAS,
author = "K. M. Brown",
title = "{ACM Algorithm 316}: Solution of Simultaneous
Nonlinear Equations",
journal = j-CACM,
volume = "10",
number = "11",
pages = "728--729",
month = nov,
year = "1967",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Thu Sep 08 09:32:50 1994",
note = "See remark \cite{Raduchel:1971:RAS}.",
acknowledgement = ack-nhfb,
}
@Article{Ord-Smith:1968:AAG,
author = "R. J. Ord-Smith",
title = "{ACM Algorithm 323}: Generation of Permutations in
Lexicographic Order",
journal = j-CACM,
volume = "11",
number = "2",
pages = "117",
month = feb,
year = "1968",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Thu Sep 08 09:33:05 1994",
note = "See certification \cite{Leitch:1969:CGP} and remark
\cite{Roy:1973:RAG}.",
acknowledgement = ack-nhfb,
}
@Article{Bayer:1968:AAM,
author = "G. Bayer",
title = "{ACM Algorithm 324}: Maxflow",
journal = j-CACM,
volume = "11",
number = "2",
pages = "117--118",
month = feb,
year = "1968",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Thu Sep 08 09:32:59 1994",
note = "See remark \cite{Bayer:1973:RAM}.",
acknowledgement = ack-nhfb,
}
@Article{Dijkstra:1968:GSC,
author = "Edsger Wybe Dijkstra",
title = "Go to statement considered harmful",
journal = j-CACM,
volume = "11",
number = "3",
pages = "147--148",
month = mar,
year = "1968",
CODEN = "CACMA2",
ISSN = "0001-0782",
note = "This paper inspired scores of others, published mainly
in SIGPLAN Notices up to the mid-1980s. The best-known
is \cite{Knuth:1974:SPG}.",
acknowledgement = ack-nhfb,
}
@Article{Witte:1968:AAJ,
author = "B. F. W. Witte",
title = "{ACM Algorithm 332}: {Jacobi} Polynomials",
journal = j-CACM,
volume = "11",
number = "6",
pages = "436--437",
month = jun,
year = "1968",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Thu Sep 08 09:33:08 1994",
note = "See remark \cite{Skovgaard:1975:RAJ}.",
acknowledgement = ack-nhfb,
}
@Article{Salazar:1968:AAM,
author = "R. C. Salazar and S. K. Sen",
title = "{ACM Algorithm 333}: Minit Algorithm For Linear
Programming",
journal = j-CACM,
volume = "11",
number = "6",
pages = "437--440",
month = jun,
year = "1968",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Thu Sep 08 09:33:06 1994",
note = "See remark
\cite{Holmgren:1973:RAM,Obradovic:1973:RAM}.",
acknowledgement = ack-nhfb,
}
@Article{Grad:1968:AAE,
author = "J. Grad and M. A. Brebner",
title = "{ACM Algorithm 343}: Eigenvalues and Eigenvectors of a
Real Generator Matrix",
journal = j-CACM,
volume = "11",
number = "12",
pages = "820--826",
month = dec,
year = "1968",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Mon Mar 24 21:38:51 MST 1997",
note = "See remark \cite{Niessner:1972:RAE}.",
acknowledgement = ack-nhfb,
classcodes = "C7300 (Natural sciences computing)",
corpsource = "Computer Services, Univ. Birmingham, UK",
keywords = "eigenvalues and eigenfunctions; matrix algebra",
}
@Article{Singleton:1969:AAEa,
author = "R. C. Singleton",
title = "{ACM Algorithm 347}: An Efficient Algorithm for
Sorting with Minimal Storage",
journal = j-CACM,
volume = "12",
number = "3",
pages = "185--187",
month = mar,
year = "1969",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Mon Mar 24 21:38:51 MST 1997",
note = "See remarks \cite{Griffin:1970:RME,Peto:1970:RAM}.",
acknowledgement = ack-nhfb,
classcodes = "C6150E (General utility programs)",
corpsource = "Stanford Research Inst., Menlo Park, CA, USA",
keywords = "digital computer sorting; minimal storage sorting;
sorting; subroutines",
}
@Article{ANSI:1969:CFS,
author = "{ANSI Subcommittee X3J3}",
title = "Clarification of {Fortran} Standards --- Initial
Progress",
journal = j-CACM,
volume = "12",
number = "5",
pages = "289--294",
month = may,
year = "1969",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Mon Aug 29 18:26:25 1994",
note = "See also \cite{ANSI:1966:AF}.",
acknowledgement = ack-nhfb,
}
@Article{Clemm:1969:AAC,
author = "D. S. Clemm",
title = "{ACM Algorithm 352}: Characteristic Values and
Associated Solutions of {Mathieu}'s Differential
Equation",
journal = j-CACM,
volume = "12",
number = "7",
pages = "399--407 (or 399--406??)",
month = jul,
year = "1969",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Mon Mar 24 21:38:51 MST 1997",
note = "See remark \cite{Frisch:1972:RAR}.",
acknowledgement = ack-nhfb,
classcodes = "C4170 (Differential equations); C7300 (Natural
sciences computing)",
corpsource = "Wright-Patterson Air Force Base, USA",
keywords = "differential equations; function evaluation;
subroutines",
}
@Article{Wirth:1969:MMC,
author = "N. Wirth",
title = "On Multiprogramming, Machine Coding, and Computer
Organization",
journal = j-CACM,
volume = "12",
number = "9",
pages = "489--498",
month = sep,
year = "1969",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Fri Jan 17 18:23:22 1997",
note = "See corrigendum \cite{Wirth:1970:CMM}.",
acknowledgement = ack-nhfb,
}
@Article{Leitch:1969:CGP,
author = "I. M. Leitch",
title = "Certification of {ACM Algorithm 323 [G6]}: Generation
of Permutations in Lexicographic Order",
journal = j-CACM,
volume = "12",
number = "9",
pages = "512--512",
month = sep,
year = "1969",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Sat Feb 01 07:26:28 1997",
note = "See \cite{Ord-Smith:1968:AAG,Roy:1973:RAG}.",
acknowledgement = ack-nhfb,
keywords = "direct lexicographic order; lexicographic generation;
permutations; reverse lexicographic order",
}
@Article{Singleton:1969:AAEb,
author = "R. C. Singleton",
title = "{ACM Algorithm 357}: An Efficient Prime Number
Generator",
journal = j-CACM,
volume = "12",
number = "10",
pages = "563--564",
month = oct,
year = "1969",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Mon Mar 24 21:38:51 MST 1997",
note = "See remark \cite{DeMorgan:1973:RAE}.",
acknowledgement = ack-nhfb,
classcodes = "C7300 (Natural sciences computing)",
corpsource = "Stanford Research Inst., Menlo Park, CA, USA",
keywords = "algebra; number theory; subroutines",
}
@Article{Gautschi:1969:AAC,
author = "W. Gautschi",
title = "{ACM Algorithm 363}: Complex Error Function",
journal = j-CACM,
volume = "12",
number = "11",
pages = "635",
month = nov,
year = "1969",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Thu Sep 08 09:33:14 1994",
note = "See certification \cite{Kolbig:1972:CAC}.",
acknowledgement = ack-nhfb,
}
@Article{Lowe:1970:ASC,
author = "T. C. Lowe",
title = "Automatic segmentation of cyclic program structures
based on connectivity and processor timing",
journal = j-CACM,
volume = "13",
number = "1",
pages = "3--6",
month = jan,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
acknowledgement = ack-nhfb,
classcodes = "C6150C (Compilers, interpreters and other
processors)",
corpsource = "Informatics Inc., Bethesda, MD, USA",
keywords = "input-output programs; multiprogramming; program
processors; time-sharing programs",
}
@Article{Gautschi:1970:RCC,
author = "Walter Gautschi and Bruce J. Klein",
title = "Recursive computation of certain derivatives --- {A}
study of error propagation",
journal = j-CACM,
volume = "13",
number = "1",
pages = "7--9",
month = jan,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
MRclass = "65Q05",
MRnumber = "46 1115",
MRreviewer = "D. F. Mayers",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
abstract = "A brief study is made of the propagation of errors in
linear first-order difference equations. The recursive
computation of successive derivatives of $(e^x)/x$ and
$(\cos x)/x$ is considered as an illustration.",
acknowledgement = ack-nhfb,
classcodes = "C4110 (Error analysis in numerical methods)",
corpsource = "Purdue Univ., Lafayette, IN, USA",
keywords = "difference equations; error analysis; error
propagation; recursive computation; successive
derivatives",
}
@Article{Mullery:1970:PAM,
author = "A. P. Mullery and G. C. Driscoll",
title = "A processor allocation method for time-sharing",
journal = j-CACM,
volume = "13",
number = "1",
pages = "10--14",
month = jan,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
acknowledgement = ack-nhfb,
classcodes = "C6150J (Operating systems)",
corpsource = "IBM, Thomas J. Watson Res. Center Yorktown Heights,
NY, USA",
keywords = "storage allocation; time-sharing programs",
}
@Article{Simmons:1970:NLQ,
author = "R. F. Simmons",
title = "Natural Language Question-Answering Systems: 1969",
journal = j-CACM,
volume = "13",
number = "1",
pages = "15--30",
month = jan,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Database/Wiederhold.bib",
acknowledgement = ack-nhfb,
classcodes = "C7820 (Humanities computing)",
corpsource = "Univ. Texas, Austin, TX, USA",
keywords = "artificial intelligence; computational linguistics;
language; translation and linguistics",
}
@Article{Irons:1970:EEL,
author = "E. T. Irons",
title = "Experience with an extensible language",
journal = j-CACM,
volume = "13",
number = "1",
pages = "31--40",
month = jan,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
acknowledgement = ack-nhfb,
classcodes = "C6140D (High level languages)",
corpsource = "Inst. Defense Analyses Princeton, NJ, USA",
keywords = "procedure oriented languages",
}
@Article{Montanari:1970:NML,
author = "Ugo Montanari",
title = "A note on minimal length polygonal approximation to a
digitized contour",
journal = j-CACM,
volume = "13",
number = "1",
pages = "41--47",
month = jan,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
MRclass = "65.20",
MRnumber = "44\#2311",
bibdate = "Mon Jan 22 07:05:22 MST 2001",
bibsource = "http://dblp.uni-trier.de/db/journals/cacm/cacm13.html#Montanari70",
abstract = "A method for extracting a smooth polygonal contour
from a digitized image is illustrated. The ordered
sequence of contour points and the connection graph of
the image are first obtained by a modified Ledley
algorithm in one image scan. A minimal perimeter
polygon subjected to specified constraints is then
chosen as the approximating contour. The determination
of the minimal polygon can be reduced to a nonlinear
programming problem, solved by an algorithm which takes
into account the weak bonds between variables. Some
examples are presented, and the corresponding computing
times are listed.",
acknowledgement = ack-nhfb,
classcodes = "B6140C (Optical information, image and video signal
processing); C1250 (Pattern recognition)",
corpsource = "Consiglio Nazionale delle Richerche, Pisa, Italy",
keywords = "connection tree; digitized image; minimal polygon;
nonlinear programming; optimal approximation; pattern
recognition",
oldlabel = "Montanari70",
XMLdata = "ftp://ftp.informatik.uni-trier.de/pub/users/Ley/bib/records.tar.gz#journals/cacm/Montanari70",
}
@Article{Stehfest:1970:AAN,
author = "Harald Stehfest",
title = "{ACM Algorithm 368}: Numerical Inversion of {Laplace}
Transforms",
journal = j-CACM,
volume = "13",
number = "1",
pages = "47--49",
month = jan,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
acknowledgement = ack-nhfb,
classcodes = "C7300 (Natural sciences computing)",
corpsource = "J. W. Goethe Univ. Frankfurt am Main, West Germany",
keywords = "Laplace transforms; subroutines",
}
@Article{Schaffer:1970:AAG,
author = "H. E. Schaffer",
title = "{ACM Algorithm 369}: Generator of Random Numbers
Satisfying the {Poisson} Distribution",
journal = j-CACM,
volume = "13",
number = "1",
pages = "49--49",
month = jan,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
acknowledgement = ack-nhfb,
classcodes = "C7890 (Other special applications of computing)",
corpsource = "North Carolina State Univ., Raleigh, NC, USA",
keywords = "random number generation; subroutines",
}
@Article{Butler:1970:AAG,
author = "E. L. Butler",
title = "{ACM Algorithm 370}: General Random Number Generator",
journal = j-CACM,
volume = "13",
number = "1",
pages = "49--52",
month = jan,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
note = "See remark \cite{Proll:1972:RAA}.",
acknowledgement = ack-nhfb,
classcodes = "C7890 (Other special applications of computing)",
corpsource = "Texas A and M Univ., College Station, TX, USA",
keywords = "random number generation; subroutines",
}
@Article{McKay:1970:AAP,
author = "J. K. S. McKay",
title = "{ACM Algorithm 371}: Partitions in Natural Order",
journal = j-CACM,
volume = "13",
number = "1",
pages = "52--52",
month = jan,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
acknowledgement = ack-nhfb,
classcodes = "C7300 (Natural sciences computing)",
corpsource = "California Inst. Technol. Pasadena, CA, USA",
keywords = "number theory; subroutines",
}
@Article{Dunham:1970:AAA,
author = "K. B. Dunham",
title = "{ACM Algorithm 372}: An Algorithm to Produce Complex
Primes {CSIEVE}",
journal = j-CACM,
volume = "13",
number = "1",
pages = "52--54",
month = jan,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
acknowledgement = ack-nhfb,
classcodes = "C7300 (Natural sciences computing)",
corpsource = "Georgia Inst. Technol., Atlanta, GA, USA",
keywords = "number theory; subroutines",
}
@Article{Griffin:1970:RME,
author = "R. Griffin and K. A. Redich",
title = "Remark on ``{Algorithm 347}: {An Efficient Algorithm
for Sorting with Minimal Storage [{M1}]}, by {R. C.
Singleton}''",
journal = j-CACM,
volume = "13",
number = "1",
pages = "54--54",
month = jan,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Fri Jan 17 18:26:41 1997",
note = "See \cite{Singleton:1969:AAEa,Peto:1970:RAM}.",
acknowledgement = ack-nhfb,
keywords = "digital computer sorting; minimal storage sorting;
sorting",
}
@Article{Anonymous:1970:RCD,
author = "Anonymous",
title = "Representation for calendar date for
machine-to-machine data interchange",
journal = j-CACM,
volume = "13",
number = "1",
pages = "55--55",
month = jan,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
acknowledgement = ack-nhfb,
classcodes = "C6130 (Data handling techniques)",
keywords = "codes; standards",
}
@Article{Anonymous:1970:IRP,
author = "Anonymous",
title = "Interchange rolls of perforated tape for information
interchange",
journal = j-CACM,
volume = "13",
number = "1",
pages = "56--56",
month = jan,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
acknowledgement = ack-nhfb,
classcodes = "C5320Z (Other digital storage); C5560 (Data
preparation equipment); C7250 (Information storage and
retrieval)",
keywords = "digital storage; equipment; information retrieval;
punched tape; standards",
}
@Article{Payne:1970:FTP,
author = "W. H. Payne",
title = "{Fortran Tausworthe} pseudorandom number generator",
journal = j-CACM,
volume = "13",
number = "1",
pages = "57--57",
month = jan,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
acknowledgement = ack-nhfb,
classcodes = "C7890 (Other special applications of computing)",
corpsource = "Washington State Univ. Pullman, WA, USA",
keywords = "random number generation",
}
@Article{Hsiao:1970:FSI,
author = "David K. Hsiao and Frank D. Harary",
title = "A Formal System for Information Retrieval from Files",
journal = j-CACM,
volume = "13",
number = "2",
pages = "67--73",
month = feb,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Database/Wiederhold.bib",
note = "See corrigenda \cite{Hsiao:1970:CFS}.",
acknowledgement = ack-nhfb,
classcodes = "C6120 (File organisation); C7250 (Information storage
and retrieval)",
corpsource = "Univ. Pennsylvania, Philadelphia, PA, USA",
keywords = "file organisation; information retrieval",
}
@Article{vonGlaserfeld:1970:MPH,
author = "E. {von Glaserfeld} and P. P. Pisani",
title = "The multistore parser for hierarchical syntactic
structures",
journal = j-CACM,
volume = "13",
number = "2",
pages = "74--82",
month = feb,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
acknowledgement = ack-nhfb,
classcodes = "C4210 (Formal logic)",
corpsource = "Univ. Georgia, Athens, GA, USA",
keywords = "computational linguistics",
}
@Article{Vere:1970:TE,
author = "Steven Vere",
title = "Translation equations",
journal = j-CACM,
volume = "13",
number = "2",
pages = "83--89",
month = feb,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
MRclass = "68A30",
MRnumber = "45 4925",
MRreviewer = "H. Maurer",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
note = "See errata \cite{Vere:1970:TEE},",
abstract = "Input limited transduction expressions, or translation
equations, are used to describe the syntax and
left-context sensitive semantics for context-free
languages. A formal procedure is given for deriving
from a set of translation equations the specifications
for a pushdown translator. The translator consists of
Mealy form finite-state automata interacting by means
of a pushdown stack. Within the framework described
string recognition and parsing may be treated as
special cases of the translation problem.",
acknowledgement = ack-nhfb,
classcodes = "C4210 (Formal logic)",
corpsource = "Univ. California, Los Angeles, CA, USA",
keywords = "automata; computational linguistics; context-free
languages; finite state automata; formal languages;
meta-compilers; parsing; pushdown transducer;
recognizers; regular expression; syntax directed
compilers; transduction expression; translation; Turing
machines",
}
@Article{Morgan:1970:SCS,
author = "H. L. Morgan",
title = "Spelling correction in systems programs",
journal = j-CACM,
volume = "13",
number = "2",
pages = "90--94",
month = feb,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Apr 08 20:33:52 1997",
abstract = "Several specialized techniques are shown for
efficiently incorporating spelling correction
algorithms in to compilers and operating systems. These
include the use of syntax and semantics information,
the organization of restricted keyword and symbol
tables, and the consideration of a limited class of
spelling errors. Sample 360 coding for performing
spelling correction is presented. By using systems
which perform spelling correction, the number of
debugging runs per program has been decreased, saving
both programmer and machine time.",
acknowledgement = ack-nhfb,
classcodes = "C6150G (Diagnostic, testing, debugging and evaluating
systems)",
corpsource = "Cornell Univ., Ithaca, NY, USA",
keywords = "compilers; computer science and automata; debugging;
diagnostics; error correction; error detection; lexical
analysis systems programming; misspelling; operating
systems; program debugging; spelling correction;
subroutines",
}
@Article{Earley:1970:ECF,
author = "Jay Earley",
title = "An Efficient Context-Free Parsing Algorithm",
journal = j-CACM,
volume = "13",
number = "2",
pages = "94--102",
month = feb,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Mon Jan 22 06:37:10 MST 2001",
bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Parallel/Multi.bib;
http://dblp.uni-trier.de/db/journals/cacm/cacm13.html#Earley70",
abstract = "A parsing algorithm which seems to be the most
efficient general context-free algorithm known is
described. It is similar to both Knuth's LR(k)
algorithm and the familiar top-down algorithm. It has a
time bound proportional to $n^3$ (where $n$ is the
length of the string being parsed) in general; it has a
$n^2$ bound for unambiguous grammars; and it runs in
linear time on a large class of grammars, which seems
to include most practical context-free programming
language grammars. In an empirical comparison it
appears to be superior to the top-down and bottom-up
algorithms studied by Griffiths and Petrick.",
acknowledgement = ack-nhfb,
classcodes = "C4210 (Formal logic); C6150C (Compilers, interpreters
and other processors)",
corpsource = "Univ. California, Berkeley, CA, USA",
keywords = "compilers; computational complexity; computational
linguistics; context-free grammar; parsing; program
compilers; syntax analysis",
oldlabel = "Earley70",
XMLdata = "ftp://ftp.informatik.uni-trier.de/pub/users/Ley/bib/records.tar.gz#journals/cacm/Earley70",
}
@Article{Radke:1970:UQR,
author = "C. E. Radke",
title = "The Use of Quadratic Residue Research",
journal = j-CACM,
volume = "13",
number = "2",
pages = "103--105",
month = feb,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
acknowledgement = ack-nhfb,
classcodes = "C6130 (Data handling techniques)",
corpsource = "IBM, Endicott, NY, USA",
keywords = "data handling; programming",
}
@Article{Jones:1970:VSA,
author = "B. Jones",
title = "A Variation on Sorting by Address Calculation",
journal = j-CACM,
volume = "13",
number = "2",
pages = "105--107",
month = feb,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
acknowledgement = ack-nhfb,
classcodes = "C6130 (Data handling techniques)",
corpsource = "Martin Marietta Corp., Orlando, FL, USA",
keywords = "sorting",
}
@Article{Bell:1970:QQM,
author = "James R. Bell",
title = "The Quadratic Quotient Method: {A} Hash Code
Eliminating Secondary Clustering",
journal = j-CACM,
volume = "13",
number = "2",
pages = "107--109",
month = feb,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Mon Jan 22 06:24:21 MST 2001",
bibsource = "http://dblp.uni-trier.de/db/journals/cacm/cacm13.html#Bell70",
acknowledgement = ack-nhfb,
classcodes = "C6130 (Data handling techniques)",
corpsource = "Digital Equipment Corp., Maynard, MA, USA",
keywords = "table lookup",
oldlabel = "Bell70",
XMLdata = "ftp://ftp.informatik.uni-trier.de/pub/users/Ley/bib/records.tar.gz#journals/cacm/Bell70",
}
@Article{Ness:1970:CEG,
author = "D. N. Ness and R. S. Green and W. A. Martin and G. A.
Moulton",
title = "Computer education in a graduate school of
management",
journal = j-CACM,
volume = "13",
number = "2",
pages = "110--114, 19",
month = feb,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
acknowledgement = ack-nhfb,
classcodes = "C0220 (Computing education and training)",
corpsource = "M.I.T., Cambridge, MA, USA",
keywords = "education; management; simulation",
}
@Article{Robbins:1970:ICS,
author = "M. F. Robbins and J. D. Beyer",
title = "An interactive computer system using graphical
flowchart input",
journal = j-CACM,
volume = "13",
number = "2",
pages = "115--119",
month = feb,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
acknowledgement = ack-nhfb,
classcodes = "C7400 (Engineering computing); C5540 (Terminals and
graphic displays)",
corpsource = "Bell Telephone Labs. Inc., Holmdel, NJ, USA",
keywords = "applications of computers; computers; control system
synthesis; electrical engineering; engineering
applications of; online operation; sampled data
systems; simulation",
}
@Article{White:1970:AAN,
author = "J. S. White",
title = "{ACM Algorithm 373}: Number of Doubly Restricted
Partitions",
journal = j-CACM,
volume = "13",
number = "2",
pages = "120--120",
month = feb,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
acknowledgement = ack-nhfb,
classcodes = "C7300 (Natural sciences computing)",
corpsource = "Univ. Minnesota, Minneapolis, MN, USA",
keywords = "combinatorial mathematics; subroutines",
}
@Article{White:1970:AAR,
author = "J. S. White",
title = "{ACM Algorithm 374}: Restricted Partition Generator",
journal = j-CACM,
volume = "13",
number = "2",
pages = "120--120",
month = feb,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
acknowledgement = ack-nhfb,
classcodes = "C7300 (Natural sciences computing)",
corpsource = "Univ. Minnesota, Minneapolis, MN, USA",
keywords = "combinatorial mathematics; subroutines",
}
@Article{Spath:1970:AAF,
author = "H. Sp{\"{a}}th",
title = "{ACM Algorithm 375}: Fitting Data to One Exponential",
journal = j-CACM,
volume = "13",
number = "2",
pages = "120--121",
month = feb,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
acknowledgement = ack-nhfb,
classcodes = "C4150 (Nonlinear and functional equations); C7300
(Natural sciences computing)",
corpsource = "Inst. Neutronenphysik Reaktortechnik, Karlsruhe, West
Germany",
keywords = "least squares approximations; nonlinear equations;
subroutines",
}
@Article{Spath:1970:AAL,
author = "H. Sp{\"{a}}th",
title = "{ACM Algorithm 376}: Least Squares Fit by
{$f(x)=A\cos(Bx+C)$}",
journal = j-CACM,
volume = "13",
number = "2",
pages = "121--122",
month = feb,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
acknowledgement = ack-nhfb,
classcodes = "C4150 (Nonlinear and functional equations); C7300
(Natural sciences computing)",
corpsource = "Inst. Neutronenphysik, Reaktortechnik, Karlsruhe, West
Germany",
keywords = "least squares approximations; nonlinear equations;
subroutines",
}
@Article{Fenichel:1970:PTP,
author = "R. R. Fenichel and J. Weizenbaum and J. C. Yochelson",
title = "A Program to Teach Programming",
journal = j-CACM,
volume = "13",
number = "3",
pages = "141--146",
month = mar,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
bibsource = "Compendex database",
abstract = "The TEACH system was developed at MIT to ease the cost
and improve the results of elementary instruction in
programming. To the student, TEACH offers loosely
guided experience with a conversational language which
was designed with teaching in mind. Faculty involvement
is limited. At the heart of the TEACH system is an
interactive language which somewhat resembles Joss, but
is somewhat more amenable to rational explanation.
Surrounding the language processor is a teaching system
which presents lessons to the student, supervises his
progress, and permits him to exercise his skills. A
term of experience with TEACH is discussed.
Pedagogically, the system appears to be successful;
straightforward reimplementation will make it
economically successful as well.",
acknowledgement = ack-nhfb,
classcodes = "C0310 (EDP management); C6150Z (Other systems
operation programs)",
corpsource = "Massachusetts Inst. Technol., Cambridge, MA, USA",
journalabr = "Commun ACM",
keywords = "computer applications; computer-assisted learning;
computers, programming; education; elementary
programming; engineering education; programming; TEACH;
UNCL; utility programs",
}
@Article{Slagle:1970:EMT,
author = "J. R. Slagle and J. K. Dixon",
title = "Experiments with the {M \& N} Tree-Searching Program",
journal = j-CACM,
volume = "13",
number = "3",
pages = "147--154, 159",
month = mar,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
bibsource = "Compendex database",
abstract = "The M \& N procedure is an improvement to the mini-max
backing-up procedure widely used in computer programs
for game-playing and other purposes. It is based on the
principle that it is desirable to have many options
when making decisions in the face of uncertainty. The
mini-max procedure assigns to a MAX (MIN) node the
value of the highest (lowest) valued successor to that
node. The M \& N procedure assigns to a MAX (MIN) node
some function of the M (N) highest (lowest) valued
successors. An M \& N procedure was written in LISP to
play the game of kalah, and it was demonstrated that
the M \& Nprocedure is significantly superior to the
mini-max procedure. The statistical significance of
important conclusions is given. Since information on
statistical significance has often been lacking in
papers on computer experiments in the artificial
intelligence field, these experiments can perhaps serve
as a model for future work.",
acknowledgement = ack-nhfb,
classcodes = "C1230 (Artificial intelligence)",
corpsource = "Education Welfare, Bethesda, MD, USA",
journalabr = "Commun ACM",
keywords = "arg; artificial intelligence; automata theory;
computers; game theory; heuristic programming;
optimisation; programming; trees (mathematics)",
}
@Article{Batson:1970:MSS,
author = "A. Batson and Shy-Ming M. Ju and D. C. Wood",
title = "Measurements of Segment Size",
journal = j-CACM,
volume = "13",
number = "3",
pages = "155--159",
month = mar,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
bibsource = "Compendex database",
abstract = "Distributions of segment sizes measured under routine
operating conditions on a computer system which
utilizes variable sized segments (the Burroughs B5500)
are discussed. The most striking feature of the
measurements is the large number of small
segments-about 60\% of the segments in use contain less
than 40 words. Although the results are certainly not
installation independent, and although they are
particularly influenced by features of the B5500 ALGOL
system, they should be relevant to the design of new
computer systems, especially with respect to the
organization of paging schemes.",
acknowledgement = ack-nhfb,
classcodes = "C6150J (Operating systems)",
corpsource = "Univ. Virginia, Charlottesville, VA, USA",
journalabr = "Commun ACM",
keywords = "computers; dynamic memory management; operating
systems; storage allocation",
}
@Article{Watson:1970:ANM,
author = "G. A. Watson",
title = "On an Algorithm for Nonlinear Minimax Approximation",
journal = j-CACM,
volume = "13",
number = "3",
pages = "160--162",
month = mar,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
MRclass = "90.50 (65.00)",
MRnumber = "44\#3694",
MRreviewer = "R. W. Cottle",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
bibsource = "Compendex database",
abstract = "Certain nonlinear minimax approximation problems are
characterized by properties which permit the
application of special algorithms, mainly, based on the
exchange algorithms of E. Y. Remes (1934, 1935), for
their solution. The application to problems of this
type of a general nonlinear algorithm due to M. R.
Osborne and G. A. Watson (1969) is considered. Examples
are given to illustrate that this algorithm can give
satisfactory results and, in particular, can
successfully solve problems which lead to difficulties
with the more conventional specialist methods.",
acknowledgement = ack-nhfb,
classcodes = "B0260 (Optimisation techniques); C1180 (Optimisation
techniques)",
corpsource = "Australian Nat. Univ., Canberra, Australia",
journalabr = "Commun ACM",
keywords = "linear programming; mathematics; minimax
approximation; nonlinear approximation; numerical
methods; optimisation; THO",
}
@Article{Schweikert:1970:CEI,
author = "D. G. Schweikert",
title = "A Comparison of Error Improvement Estimates for
Adaptive Trapezoid Integration",
journal = j-CACM,
volume = "13",
number = "3",
pages = "163--166",
month = mar,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
MRclass = "65.55",
MRnumber = "44\#7751",
MRreviewer = "R. E. Barnhill",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
bibsource = "Compendex database",
abstract = "Various simple choices of error improvement estimates
for the trapezoid rule are studied to demonstrate a
comparison procedure which is relatively independent of
the profusion of adaptive search and stopping
strategies. Comparisons are based on $x^r1$; the
inclusion of the noninteger powers makes this more
realistic than the usual polynomial based comparison.
Behavior near the singularity was found to be the
dominant factor, and a new estimate, based on a
constant curvature assumption and parametric
differences, was considered slightly better than the
other choices considered.",
acknowledgement = ack-nhfb,
classcodes = "C4110 (Error analysis in numerical methods); C4160
(Numerical integration and differentiation)",
corpsource = "Bell Telephone Labs. Inc., Murray Hill, NJ, USA",
journalabr = "Commun ACM",
keywords = "adaptive integration; error analysis; error
improvement estimate; integration; mathematics;
nonpolynomial error criteria; numerical methods; re;
trapezoid rule",
}
@Article{Schwarcz:1970:DQA,
author = "Robert M. Schwarcz and John F. Burger and Robert F.
Simmons",
title = "A Deductive Question Answerer for Natural Language
Inference",
journal = j-CACM,
volume = "13",
number = "3",
pages = "167--183",
month = mar,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
bibsource = "Compendex database;
ftp://ftp.ira.uka.de/pub/bibliography/Database/Wiederhold.bib",
abstract = "The question-answering aspects of the Protosynthex III
prototype language processing system are described and
exemplified in detail. The system is written in LISP 1.
5 and operates on the Q-32 time-sharing system. The
system's data structures and their semantic
organization, the deductive question-answering
formalism of relational properties and
complex-relation-forming operators, and the
question-answering procedures which employ these
features in their operation are all described and
illustrated. Examples of the system's performance and
of the limitations of its question-answering capability
are presented and discussed. It is shown that the use
of semantic information in deductive question answering
greatly facilitates the process, and that a top-down
procedure which works from question to answer enables
effective use to be made of this information.",
acknowledgement = ack-nhfb,
annote = "Deductive inference driven by English: PROTOSYNTHEX
III",
classcodes = "C7820 (Humanities computing)",
corpsource = "System Dev. Corp., Santa Monica, CA, USA",
journalabr = "Commun ACM",
keywords = "artificial intelligence; automata theory;
computational linguistics; information retrieval;
language translation and linguistics",
}
@Article{Cardenas:1970:PLP,
author = "A. F. Cardenas and W. J. Karplus",
title = "{PDEL} --- a Language for Partial Differential
Equations",
journal = j-CACM,
volume = "13",
number = "3",
pages = "184--191",
month = mar,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Apr 08 20:33:36 1997",
bibsource = "Compendex database",
abstract = "Conventional computer methods available to solve
continuous system problems characterized by partial
differential equations are very time-consuming and
cumbersome. A convenient, easy to learn and to use,
high level problem oriented language to solve and study
partial differential equation problems has been
designed; a practical translator for the language has
also been designed, and a working version of it has
been constructed for a significant portion of the
language. This Partial Differential Equation Language,
PDEL, is outlined, and the highlights of the translator
are briefly summarized. PDEL can handle a large variety
of fields. Time-dependent and time-independent fields
can be defined. Any size of grid can be used to
approximate regular and irregular geometries. Linear,
nonlinear, uniform and nonuniform fields can be
treated.",
acknowledgement = ack-nhfb,
classcodes = "C6140D (High level languages)",
corpsource = "Univ. California, Los Angeles, CA, USA",
journalabr = "Commun ACM",
keywords = "computers; differential equations; mathematics;
problem oriented languages",
}
@Article{Levine:1970:AAS,
author = "Michael J. Levine and Stanley M. Swanson",
title = "{ACM Algorithm 377}: Symbolic Expansion of Algebraic
Expressions",
journal = j-CACM,
volume = "13",
number = "3",
pages = "191--192",
month = mar,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Apr 08 20:35:50 1997",
bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/acm.bib",
acknowledgement = ack-nhfb,
classcodes = "C7300 (Natural sciences computing)",
corpsource = "Carnegie-Mellon Univ., Pittsburgh, PA, USA",
keywords = "algebra; subroutines",
}
@Article{Kailas:1970:AMC,
author = "M. V. Kailas",
title = "Another method of converting from hexadecimal to
decimal",
journal = j-CACM,
volume = "13",
number = "3",
pages = "193--193",
month = mar,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
acknowledgement = ack-nhfb,
classcodes = "C5230 (Digital arithmetic methods)",
keywords = "digital arithmetic",
}
@Article{Pager:1970:NSP,
author = "D. Pager",
title = "A number system for the permutations",
journal = j-CACM,
volume = "13",
number = "3",
pages = "193--193",
month = mar,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
acknowledgement = ack-nhfb,
classcodes = "C5230 (Digital arithmetic methods)",
corpsource = "Univ. Hawaii, Honolulu, HI, USA",
keywords = "number theory",
}
@Article{Dempster:1970:CPA,
author = "J. R. H. Dempster",
title = "Comment on a Paging Anomaly",
journal = j-CACM,
volume = "13",
number = "3",
pages = "193--194",
month = mar,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
acknowledgement = ack-nhfb,
classcodes = "C4290 (Other computer theory)",
corpsource = "Univ. British Columbia, Vancouver, BC, Canada",
keywords = "computation theory; demand paging; paging machines;
replacement algorithm; storage allocation",
}
@Article{Maurer:1970:NCI,
author = "H. A. Maurer",
title = "A Note on the Complement of Inherently Ambiguous
Context-Free Languages",
journal = j-CACM,
volume = "13",
number = "3",
pages = "194--194",
month = mar,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
acknowledgement = ack-nhfb,
classcodes = "C4210 (Formal logic)",
corpsource = "Univ. Calgary, Alta., Canada",
keywords = "ambiguity; bounded language; Chomsky-language;
complement; context-free language; formal languages;
inherent ambiguity; phrase structure language;
production system; type 2 language",
}
@Article{Hsiao:1970:CFS,
author = "D. K. Hsiao and F. D. Harary",
title = "Corrigenda: {``A Formal System for Information
Retrieval from Files''}",
journal = j-CACM,
volume = "13",
number = "3",
pages = "266--266",
month = mar,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Dec 26 18:33:42 1995",
note = "See \cite{Hsiao:1970:FSI}.",
acknowledgement = ack-nhfb,
}
@Article{DeSalvio:1970:CCI,
author = "A. J. DeSalvio and J. G. Purdy and J. Rau",
title = "Creation and Control of Internal Data Bases Under a
{Fortran} Programming Environment",
journal = j-CACM,
volume = "13",
number = "4",
pages = "211--215",
month = apr,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
bibsource = "Compendex database",
abstract = "A method is described for the definition of a user's
COMMON structure and the automatic generation of the
necessary COMMON, DIMENSION, EQUIVALENCE, and type
declarations for each of the user's routines. The
definition for the COMMON is contained in an easy to
modify form, thus allowing the control of general
communications of data between routines. The described
system has been implemented on the IBM 7094, CDC 6000
series, and the IBM 360. The method has proved to be
invaluable for the definition and control of COMMON in
many large-scale programs.",
acknowledgement = ack-nhfb,
classcodes = "C6130 (Data handling techniques); C6140D (High level
languages)",
corpsource = "TRW Systems, Redondo Beach and Sunnyvale, CA, USA",
journalabr = "Commun ACM",
keywords = "computers; data handling; data structures; FORTRAN",
}
@Article{Mills:1970:SDP,
author = "H. D. Mills",
title = "Syntax-Directed Documentation for {PL360}",
journal = j-CACM,
volume = "13",
number = "4",
pages = "216--222",
month = apr,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
bibsource = "Compendex database",
abstract = "The language PL360, together with its phrase structure
grammar, is used as a concrete basis for illustrating
an idea called syntax-directed documentation. This idea
is-to use the phrase structure of a program to define
the structure of a formal documentation for that
program; to use the syntactic types and identifiers in
the resulting structure to trigger the automatic
formation of questions to the programmer, whose answers
will become part of that documentation; and to provide
automatic storage and retrieval facilities so that
other programmers who want to understand or modify the
index in various ways by syntactic types and objects. A
small PL360 program, already found in the literature,
is worked out as an example.",
acknowledgement = ack-nhfb,
classcodes = "C6140D (High level languages); C6150G (Diagnostic,
testing, debugging and evaluating systems)",
corpsource = "IBM, Gaithersburg, MD, USA",
journalabr = "Commun ACM",
keywords = "computers; computers, programming; documentation;
procedure oriented languages; Program and system",
}
@Article{Bayer:1970:SCC,
author = "Rudolf Bayer and Christoph Witzgall",
title = "Some Complete Calculi for Matrices",
journal = j-CACM,
volume = "13",
number = "4",
pages = "223--237",
month = apr,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
bibsource = "Compendex database;
ftp://ftp.ira.uka.de/pub/bibliography/Compiler/reynolds.bib",
abstract = "A matrix calculus is introduced with the intention of
developing data structures suitable for a high level
algorithmic language for mathematical programming. It
is shown how the special structure of matrices can be
described and utilized for efficient computing by
saving memory space and superfluous operations.
Sequences of matrices (and sequences of sequences of
matrices) are considered, and matrix operators are
extended to sequence operators and cumulative
operators. Algorithms are given which use symbol
manipulation of matrix expressions so as to find the
forms best suited for computation. These forms are
called normalforms. Several completeness results are
obtained in the sense that for each expression an
equivalent expression in normal form can be found
within a specified calculus.",
acknowledgement = ack-nhfb,
checked = "29 June 1993",
classcodes = "B0260 (Optimisation techniques); C1180 (Optimisation
techniques)",
corpsource = "Boeing Sci. Res. Labs., Seattle, WA, USA",
journalabr = "Commun ACM",
keywords = "algorithmic languages; computers; computers,
programming; data structures; mathematical;
mathematics; matrix algebra; programming",
}
@Article{BrinchHansen:1970:NMS,
author = "P. {Brinch Hansen}",
title = "The Nucleus of a Multiprogramming System",
journal = j-CACM,
volume = "13",
number = "4",
pages = "238--241, 250",
month = apr,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
bibsource = "Compendex database;
ftp://ftp.ira.uka.de/pub/bibliography/Misc/os.bib",
abstract = "The philosophy and structure is described of a
multiprogramming system that can be extended with a
hierarchy of operating systems to suit diverse
requirements of program scheduling and resource
allocation. The system nucleus simulates an environment
in which program execution and input\slash output are
handled uniformly as parallel, cooperating processes. A
fundamental set of primitives allows the dynamic
creation and control of a hierarchy of processes as
well as the communication among them.",
acknowledgement = ack-nhfb,
classcodes = "C6150J (Operating systems)",
corpsource = "A/S Regnecentralen, Copenhagen, Denmark",
journalabr = "Commun ACM",
keywords = "computers; computers, time sharing; multiprogramming;
operating systems",
}
@Article{Eastman:1970:RSP,
author = "C. M. Eastman",
title = "Representations for Space Planning",
journal = j-CACM,
volume = "13",
number = "4",
pages = "242--250",
month = apr,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
bibsource = "Compendex database",
abstract = "Problems involving the arrangement of objects in
two-or three-space where the objective function
primarily consists of derivatives of the distance
between objects or their arrangement are called space
planning problems. The representational requirements
for this problem area are defined and compared with
current computer graphic languages. Four alternative
data structures that allow automated space planning are
described and compared.",
acknowledgement = ack-nhfb,
classcodes = "C6120 (File organisation)",
corpsource = "Carnegie-Mellon Univ., Pittsburgh, PA, USA",
journalabr = "Commun ACM",
keywords = "computer-aided design; computers; computers, language;
data structures; design automation; graphic methods;
graphics",
}
@Article{Pomeranz:1970:CMP,
author = "J. E. Pomeranz and R. L. {Weil, Jr.}",
title = "The cyclical majority problem",
journal = j-CACM,
volume = "13",
number = "4",
pages = "251--254",
month = apr,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
bibsource = "Compendex database",
abstract = "The unsolved combinational problem of the cyclical
majority is presented and some mew, simulated results
for 3, 4, 5,\ldots{}, 40 issues and 3, 5, 7,\ldots{},
37 judges are reported. The method devised for
simulating the voting process to estimate the
probabilities does not solve the problem, but appears
much more efficient than one previous simulation and
more accurate than another.",
acknowledgement = ack-nhfb,
classcodes = "C1160 (Combinatorial mathematics)",
corpsource = "Univ. Chicago, IL, USA",
journalabr = "Commun ACM",
keywords = "combinatorial mathematics; computers, simulation;
simulation; statistical methods",
}
@Article{Nilson:1970:CSU,
author = "E. N. Nilson",
title = "Cubic Splines on Uniform Meshes",
journal = j-CACM,
volume = "13",
number = "4",
pages = "255--258",
month = apr,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
MRclass = "65.20",
MRnumber = "44\#1189",
MRreviewer = "C. A. Hall",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
bibsource = "Compendex database",
abstract = "A very simple procedure is presented for constructing
cubic splines, periodic or nonperiodic, on uniform
meshes. Arcs of two cubics suffice to construct a basis
of cardinal splines. An algorithm is given which
requires only minimal storage and computation and
permits easy trade-off of one against the other. The
application of these devices is of fundamental
importance in the area of computer graphics where
substantial savings in computing time and storage
requirements have special significance.",
acknowledgement = ack-nhfb,
classcodes = "C4130 (Interpolation and function approximation)",
corpsource = "Pratt and Whitney Aircraft, East Hartford, CT, USA",
journalabr = "Commun ACM",
keywords = "cardinal splines; computers; mathematics; numerical
methods; polynomials; simple spline representation;
uniform mesh splines",
}
@Article{Pankiewicz:1970:AAD,
author = "W. Pankiewicz",
title = "{ACM Algorithm 378}: Discretized {Newton}-like Method
for Solving a System of Simultaneous Nonlinear
Equations",
journal = j-CACM,
volume = "13",
number = "4",
pages = "259--260",
month = apr,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
acknowledgement = ack-nhfb,
classcodes = "C4150 (Nonlinear and functional equations); C7300
(Natural sciences computing)",
keywords = "nonlinear equations; numerical methods; subroutines",
}
@Article{Lyness:1970:AAS,
author = "J. N. Lyness",
title = "{ACM Algorithm 379}: {SQUANK (Simpson Quadrature Used
Adaptively-Noise Killed)}",
journal = j-CACM,
volume = "13",
number = "4",
pages = "260--263",
month = apr,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Apr 08 20:37:51 1997",
note = "See certification \cite{Hallet:1972:CAS}.",
acknowledgement = ack-nhfb,
classcodes = "C4160 (Numerical integration and differentiation);
C7300 (Natural sciences computing)",
corpsource = "Argonne Nat. Lab., IL, USA",
keywords = "integration; subroutines",
}
@Article{Heess:1970:CPW,
author = "W. F. {Heess, Jr.}",
title = "Comments on a paper by {Wallace} and {Mason}",
journal = j-CACM,
volume = "13",
number = "4",
pages = "264--265",
month = apr,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
acknowledgement = ack-nhfb,
classcodes = "C6150J (Operating systems)",
keywords = "multiprogramming; storage allocation",
}
@Article{Smith:1970:CMU,
author = "J. L. Smith",
title = "Comment on multiprogramming under a page on demand
strategy",
journal = j-CACM,
volume = "13",
number = "4",
pages = "265--265",
month = apr,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
acknowledgement = ack-nhfb,
classcodes = "C6150J (Operating systems)",
corpsource = "CSIRO, Canberra City, ACT, Australia",
keywords = "multiprogramming",
}
@Article{deVries:1970:CLM,
author = "Ronald C. {de Vries}",
title = "Comment on {Lawler}'s Multilevel {Boolean}
minimization",
journal = j-CACM,
volume = "13",
number = "4",
pages = "265--266",
month = apr,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
MRclass = "68.00 (94.00)",
MRnumber = "44\#7801",
MRreviewer = "E. Maliszewski",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
acknowledgement = ack-nhfb,
classcodes = "C4230 (Switching theory)",
corpsource = "Univ. New Mexico, Albuquerque, NM, USA",
keywords = "generalized prime implicants; incompletely specified
functions; minimal forms; minimisation of switching
nets; minimization; multilevel logic design",
}
@Article{Knight:1970:ACP,
author = "K. R. Knight",
title = "An {Algol} construction for procedures as parameters
of procedures",
journal = j-CACM,
volume = "13",
number = "4",
pages = "266--266",
month = apr,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
acknowledgement = ack-nhfb,
classcodes = "C6140D (High level languages)",
corpsource = "Univ. Surrey, Guildford, UK",
keywords = "ALGOL; programming",
}
@Article{Wirth:1970:CMM,
author = "N. Wirth",
title = "Corrigenda: {``On Multiprogramming, Machine Coding,
and Computer Organization''}",
journal = j-CACM,
volume = "13",
number = "4",
pages = "266--266",
month = apr,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Jan 06 09:47:03 1998",
note = "See \cite{Wirth:1969:MMC}.",
acknowledgement = ack-nhfb,
}
@Article{Hodes:1970:PSO,
author = "L. Hodes",
title = "Programming System for the On-Line Analysis of
Biomedical Images",
journal = j-CACM,
volume = "13",
number = "5",
pages = "279--283, 286",
month = may,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
bibsource = "Compendex database",
abstract = "A preliminary description of the software for a
computer-display system is given with special emphasis
on the man-machine interaction. This system is intended
for a wide variety of biomedical applications. As an
example, the methods are applied to the karyotyping of
chromosomes. The system is separated into four
programming tasks-picture transformations, file
maintenance, picture structuring, and display
management. Picture structuring is considered as the
vehicle for man-machine communication. A prototype data
format for pictures, called a picture-form, is
developed. Structure operators are defined which
manipulate picture-forms to produce new picture-forms.
Many of the ideas are taken from the symbolic
mathematical laboratory at MIT conceived by M.
Minsky.",
acknowledgement = ack-nhfb,
classcodes = "C7300 (Natural sciences computing)",
corpsource = "Dept. Health, Education Welfare, Bethasda, MD, USA",
journalabr = "Commun ACM",
keywords = "bioengineering, computer applications; biology;
computers; computers, programming; data handling; data
reduction and analysis; graphics; image processing;
machine systems; man-; medicine; pattern recognition",
}
@Article{Sitton:1970:OGA,
author = "G. A. Sitton",
title = "Operations on Generalized Arrays with the {Genie}
Compiler",
journal = j-CACM,
volume = "13",
number = "5",
pages = "284--286",
month = may,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
bibsource = "Compendex database",
abstract = "Operations on vectors, matrices, and higher
dimensional storage arrays are standard features of
most compilers today. The elements of such structures
are usually restricted to be scalars For many
sophisticated applications this restriction can impose
cumbersome data representations. An efficient system
has been devised and implemented which allows the
elements of multidimensional arrays to themselves be
multidimensional arrays. This system was developed from
a storage structure in which the location, length, and
content of each array is described by a codeword which
can be interpreted by the system. Codewords may
describe arrays containing more codewords, thus
providing all needed descriptive information for
hyperstructures of any form.",
acknowledgement = ack-nhfb,
classcodes = "C6130 (Data handling techniques); C6150C (Compilers,
interpreters and other processors)",
corpsource = "Rice Univ., Houston, TX, USA",
journalabr = "Commun ACM",
keywords = "computers; computers, operating systems; data
handling; data structures; E P; matrix operations;
multidimensional arrays; program compilers;
programming",
}
@Article{Vere:1970:TEE,
author = "S. Vere",
title = "Translation Equations (Errata)",
journal = j-CACM,
volume = "13",
number = "5",
pages = "286--286",
month = may,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Fri Jan 17 18:28:27 1997",
note = "See \cite{Vere:1970:TE}.",
acknowledgement = ack-nhfb,
}
@Article{Sasser:1970:ASS,
author = "W. E. Sasser and D. S. Burdick and D. A. Graham and T.
H. Naylor",
title = "Application of Sequential Sampling to Simulation. an
Example Inventory Model",
journal = j-CACM,
volume = "13",
number = "5",
pages = "287--296",
month = may,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
bibsource = "Compendex database",
abstract = "Four different sequential sampling procedures are
applied to the analysis of data generated by a computer
simulation experiment with a multi-item inventory
model. For each procedure the cost of computer time
required to achieve given levels of statistical
precision is calculated. Also the cost of computer time
using comparable fixed sample size methods is
calculated. The computer costs of fixed sample size
procedures vs sequential sampling procedures are
compared. Details are given for the inventory model and
sampling procedures.",
acknowledgement = ack-nhfb,
classcodes = "C1220 (Simulation, modelling and identification)",
corpsource = "Duke Univ., Durham, NC, USA",
journalabr = "Commun ACM",
keywords = "computers; control; data reduction and analysis;
industrial management, data processing; inventory
control; modelling; sequential sampling; simulation;
statistical methods; stock",
}
@Article{Loeckx:1970:ACB,
author = "J. Loeckx",
title = "Algorithm for the Construction of Bounded-Context
Parsers",
journal = j-CACM,
volume = "13",
number = "5",
pages = "297--307",
month = may,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
bibsource = "Compendex database",
abstract = "An algorithm is described which accepts an arbitrary
context-free grammar and constructs a bounded-context
parser for it whenever such a parser exists. The
definition of a context-free grammar and the working of
a bounded-context parser are recalled. The notion of
reduction class for a context-free grammar is then
introduced and its connection with the structure of a
bounded-context parser is indicated. Next, pushdown
automata which generate the different reduction classes
of a context-free grammar are defined. Finally, the
algorithm is described; it essentially carries out an
exhaustive study of all possible runs of the pushdown
automata generating the reduction classes. The utility
of the algorithm is discussed in the light of the
experience gained from its use in compiler design.",
acknowledgement = ack-nhfb,
classcodes = "C4210 (Formal logic)",
corpsource = "MBLE Res. Lab., Brussels, Belgium",
journalabr = "Commun ACM",
keywords = "automata theory; compilers; computational linguistics;
computers, language; context-free grammars; formal
languages; grammars; low",
}
@Article{Reynolds:1970:GST,
author = "John C. Reynolds",
title = "{GEDANKEN} --- {A} Simple Typeless Language Based on
the Principle of Completeness and the Reference
Concept",
journal = j-CACM,
volume = "13",
number = "5",
pages = "308--319",
month = may,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
bibsource = "Compendex database;
ftp://ftp.ira.uka.de/pub/bibliography/Compiler/reynolds.bib",
abstract = "In this experimental programming language, any value
which is permitted in some context of the language is
permissible in any other meaningful context. In
particular, functions and labels are permissible
results of functions and values of variables.
Assignment and indirect addressing are formalized by
introducing values, called references, which in turn
possess other values. The assignment operation always
affects the relation between some reference and its
values. All composed data structures are treated as
functions. Type declarations are not permitted. Any
data structure may be implicit; i.e., it may be
specified by giving an arbitrary algorithm for
computing or accessing its components. The existence of
label variables permits the construction of coroutines,
quasi-parallel processes, and other unorthodox control
mechanisms. A variety of programming examples
illustrates the generality of the language. Limitations
and possible extensions are discussed briefly.",
acknowledgement = ack-nhfb,
checked = "4 September 1990",
classcodes = "C6140D (High level languages)",
corpsource = "Argonne Nat. Lab., IL, USA",
journalabr = "Commun ACM",
keywords = "computers; data structures; gedanken; procedure
oriented languages; programming languages",
}
@Article{Crespi-Reghizzi:1970:LTG,
author = "S. Crespi-Reghizzi and R. Morpurgo",
title = "A language for treating graphs",
journal = j-CACM,
volume = "13",
number = "5",
pages = "319--323",
month = may,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
bibsource = "Compendex database",
abstract = "A language for the representation of graphs is
described, and the formulation of graph operations such
as node and\slash or link deletion or insertion, union,
intersection, comparison, and traversal of graphs is
given. Graphs are represented by linked lists. The
language is syntactically defined as an extension to
ALGOL 60, and it is translated into ALGOL by means of a
syntax-driven compiler. Application areas for this
language are operation research, network problems,
control theory, traffic problems, etc.",
acknowledgement = ack-nhfb,
classcodes = "C6130 (Data handling techniques); C6140D (High level
languages)",
corpsource = "Politecnico di Milano, Italy",
journalabr = "Commun ACM",
keywords = "automatic control, analysis; computers; data handling;
data structures; electric circuits, analysis; graph
theory; operations research; procedure oriented
languages",
}
@Article{Laflin:1970:AAS,
author = "S. Laflin and M. A. Brebner",
title = "{ACM Algorithm 380}: In-situ Transposition of a
Rectangular Matrix",
journal = j-CACM,
volume = "13",
number = "5",
pages = "324--326",
month = may,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Apr 08 20:38:00 1997",
note = "See certification \cite{Macleod:1972:STR}.",
acknowledgement = ack-nhfb,
classcodes = "C7300 (Natural sciences computing)",
corpsource = "Univ. Birmingham, UK",
keywords = "matrix algebra; subroutines",
}
@Article{Knop:1970:AAR,
author = "R. E. Knop",
title = "{ACM Algorithm 381}: Random Vectors Uniform In Solid
Angle",
journal = j-CACM,
volume = "13",
number = "5",
pages = "326--326",
month = may,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
note = "See remark \cite{Schrack:1972:RAR}.",
acknowledgement = ack-nhfb,
classcodes = "C7890 (Other special applications of computing)",
corpsource = "Rutgers Univ., New Brunswick, NJ, USA",
keywords = "random number generation; subroutines",
}
@Article{Elder:1970:FVI,
author = "H. A. Elder",
title = "On the Feasibility of Voice Input to an On-Line
Computer Processing System",
journal = j-CACM,
volume = "13",
number = "6",
pages = "339--346",
month = jun,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
bibsource = "Compendex database",
abstract = "An on-line digital computer processing system is
considered in which an ordinary telephone is the
complete terminal device, input to the computer being
provided as a sequence of spoken words, and output to
the user being audio responses from the machine. The
feasibility of implementing such a system with a
FORTRAN-like algebraic compiler as the object processor
is considered. Details of a specific word recognition
program are given. This technique \ldots{} between each
input word. Experimental results are presented giving
error rates for different experimental conditions as
well as the machine resources required to accommodate
several users at a time. The results show that at this
time it is both economically and logically feasible to
handle at least 40 users at a time with an IBM
360\slash 65 computer.",
acknowledgement = ack-nhfb,
classcodes = "C5590 (Other computer peripheral equipment)",
corpsource = "Cornell Univ., Ithaca, NY, USA",
journalabr = "Commun ACM",
keywords = "computer peripheral equipment; computers; computers,
input-output device; computers, pattern recognition;
data processing; man-machine interfaces; online
operation; recognition; speech; speech, recognition;
telephony; voice input",
}
@Article{Muthukrishnan:1970:CDT,
author = "C. R. Muthukrishnan and V. Rajaraman",
title = "On the Conversion of Decision Tables to Computer
Programs",
journal = j-CACM,
volume = "13",
number = "6",
pages = "347--351",
month = jun,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
bibsource = "Compendex database",
abstract = "The use of execution time diagnostics in pinpointing
ambiguities in decision tables is discussed. It is
pointed out that any attempt at resolving ambiguities
at compile time will, in general, be impossible. It is
shown that, as a consequence, three methods of
converting decision tables to programs are inadequate
in regard to ambiguity detection. Two algorithms for
programming decision tables whose merits are simplicity
of implementation and detection of ambiguities at
execution time are presented. The first algorithm is
for limited entry decision tables and clarifies the
importance of proper coding of the information in the
decision table. The second algorithm programs a mixed
entry decision table directly without going through the
intermediate step of conversion to a limited entry
form, thereby resulting in storage economy. A
comparison of the algorithms and others proposed in the
literature is made. Some features of a decision table
to FORTRAN IV translator developed for the IBM 7044 are
given.",
acknowledgement = ack-nhfb,
classcodes = "C6100 (Software techniques and systems)",
corpsource = "Indian Inst. Technol., Kanpur, India",
journalabr = "Commun ACM",
keywords = "computers; decision tables; operations research;
programming",
}
@Article{Grimes:1970:SRC,
author = "J. E. Grimes",
title = "Scheduling to Reduce Conflict in Meetings",
journal = j-CACM,
volume = "13",
number = "6",
pages = "351--352",
month = jun,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
bibsource = "Compendex database",
abstract = "Conflicts in scheduling can be treated as defining an
undirected linear graph independently of the relation
of the activities in conflict to additional constraints
of time and space. Each connected component of such a
graph, which can be found by an algorithm described by
S. C. Gotlieb and D. C. Corneil, corresponds to a set
of events that must be scheduled at different times.
Applications are discussed in scheduling the
presentation of papers at meetings and scheduling
examinations.",
acknowledgement = ack-nhfb,
classcodes = "C1160 (Combinatorial mathematics)",
corpsource = "Cornell Univ., Ithaca, NY, USA",
journalabr = "Commun ACM",
keywords = "co; computers; graph theory; programming; undirected
linear graphs",
}
@Article{Frantz:1970:PPA,
author = "D. G. Frantz",
title = "A {PL\slash} 1 program to assist the comparative
linguist",
journal = j-CACM,
volume = "13",
number = "6",
pages = "353--356",
month = jun,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
acknowledgement = ack-nhfb,
classcodes = "C7820 (Humanities computing)",
corpsource = "Univ. Alberta, Arrowwood, Alta., Canada",
keywords = "language translation and linguistics",
}
@Article{Damerau:1970:APC,
author = "F. J. Damerau",
title = "Automatic Parsing for Content Analysis",
journal = j-CACM,
volume = "13",
number = "6",
pages = "356--360",
month = jun,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
bibsource = "Compendex database",
abstract = "Although automatic syntactic and semantic analysis is
not yet possible for all of an unrestricted natural
language text, some applications, of which content
analysis is one, do not have such a stringent coverage
requirement. Preliminary studies show that the Harvard
Syntactic Analyzer can produce correct and unambiguous
identification of the subject and object of certain
verbs for approximately half of the relevant
occurrences. This provides a degree of coverage for
content analysis variables which compares favorably to
manual methods, in which only a sample of the total
available text is normally processed.",
acknowledgement = ack-nhfb,
classcodes = "C7820 (Humanities computing)",
corpsource = "IBM, Yorktown Heights, NY, USA",
journalabr = "Commun ACM",
keywords = "computers, data processing; content analysis; E L;
information storage and retrie; language translation
and linguistics; linguistics; natural language
processing; syntactic analysis",
}
@Article{Linz:1970:AFP,
author = "Peter Linz",
title = "Accurate Floating-Point Summation",
journal = j-CACM,
volume = "13",
number = "6",
pages = "361--362",
month = jun,
year = "1970",
CODEN = "CACMA2",
ISSN = "0001-0782",
MRclass = "65.25",
MRnumber = "44\#3468",
MRreviewer = "R. P. Brent",
bibdate = "Tue Mar 25 13:26:09 MST 1997",
bibsource = "Compendex database;
ftp://garbo.uwasa.fi/pc/doc-soft/fpbibl18.zip and
ftp://ftp.ira.uka.de/pub/bibliography/Distributed/QLD/1970.bib",
abstract = "This paper describes an alternate method for summing a
set of floating-point numbers. Comparison of the error
bound for this method with that of the standard
summation method shows that it is considerably less
sensitive to propagation of round-off error.",
acknowledgement = ack-nhfb # "\slash " # ack-nj,
classcodes = "C5230 (Digital arithmetic methods)",
corpsource = "New York Univ., NY, USA",
descriptors = "Simulation; statistics; numeric calculation;",
journalabr = "Commun ACM",
keywords = "accurate floating-point summa