%%% -*-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 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 summation; computers, data processing; digital arithmetic; floating point arithmetic; floating-point addition; mathematics; numerical methods; round-off error; round-off errors; round-off propagation; summation", } @Article{Hillstrom:1970:CSA, author = "K. E. Hillstrom", title = "Comparison of Several Adaptive {Newton-Cotes} Quadrature Routines in Evaluating Definite Integrals with Peaked Integrands", journal = j-CACM, volume = "13", number = "6", pages = "362--365", month = jun, year = "1970", CODEN = "CACMA2", ISSN = "0001-0782", bibdate = "Tue Mar 25 13:26:09 MST 1997", bibsource = "Compendex database", abstract = "It is shown, by numerical experiment only, that there are certain quadratures for which the rate of convergences increases with the use of higher degree Newton-Cotes rules, used adaptively. The advantage of adaptive methods over a nonadaptive rule in approximating integrals having peaked integrands is demonstrated. The performance of five different adaptive quadrature schemes, based on Newton-Cotes (2N plus 1) point rules (N equals 1, 2, 3, 4, 5), in approximating a set of definite integrals is compared.", acknowledgement = ack-nhfb, classcodes = "C4160 (Numerical integration and differentiation)", corpsource = "Argonne Nat. Lab., IL, USA", journalabr = "Commun ACM", keywords = "computers, data processing; convergence of numerical methods; integral evaluation; integration; mathematics; methods; numerical; numerical integration; numerical methods; quadrature schemes", } @Article{Stewart:1970:IOS, author = "G. W. Stewart", title = "Incorporating Origin Shifts into the {QR} Algorithm for Symmetric Tridiagonal Matrices", journal = j-CACM, volume = "13", number = "6", pages = "365--367", month = jun, 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/Theory/gvl.bib and ftp://ftp.ira.uka.de/pub/bibliography/Theory/Matrix.bib", abstract = "The QR iteration for the eigenvalues of a symmetric tridiagonal matrix can be accelerated by incorporating a sequence of origin shifts. The origin shift may be either subtracted directly from the diagonal elements of the matrix or incorporated by means of an implicit algorithm. Both methods have drawbacks-the direct method can unnecessarily degrade small eigenvalues, while the implicit method can effectively loose the shift and thereby retard the convergence. A new method which has neither drawback is presented. Both the algorithm proposed here and the implicit algorithm are safer than the explicit algorithm. The implicit algorithm requires somewhat less computation, but the new algorithm will give faster convergence in some cases, an important consideration when eigenvectors are being calculated.", acknowledgement = ack-nhfb, classcodes = "C4140 (Linear algebra)", corpsource = "Univ. Tex., Austin, TX, USA", journalabr = "Commun ACM", keywords = "computers, data processing; convergence of numerical methods; eigenfunctions; eigenvalues; eigenvalues and; eigenvectors; iterative methods; mathematics; matrix algebra; origin shifts; QR method; symmetric tridiagonal matrix; tridiagonal matrices", kwds = "nla, eig, QR algorithm, symmetric matrix, tridiagonal matrix", } @Article{Chase:1970:AAC, author = "P. J. Chase", title = "{ACM Algorithm 382}: Combinations of ${M}$ Out of ${N}$ Objects", journal = j-CACM, volume = "13", number = "6", pages = "368--368", month = jun, 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 = "Dept. Defense, Fort Meade, MD, USA", keywords = "algebra; subroutines", } @Article{Chase:1970:AAP, author = "P. J. Chase", title = "{ACM Algorithm 383}: Permutations of a Set with Repetitions", journal = j-CACM, volume = "13", number = "6", pages = "368--369", month = jun, 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 = "Dept. Defense, Fort Meade, MD, USA", keywords = "algebra; subroutines", } @Article{Stewart:1970:AAE, author = "G. W. Stewart", title = "{ACM Algorithm 384}: Eigenvalues and Eigenvectors of a Real Symmetric Matrix [{F2}]", journal = j-CACM, volume = "13", number = "6", pages = "369--371", month = jun, year = "1970", CODEN = "CACMA2", ISSN = "0001-0782", bibdate = "Tue Mar 25 13:26:09 MST 1997", note = "See errata \cite{Stewart:1970:RAF}.", acknowledgement = ack-nhfb, classcodes = "C4140 (Linear algebra); C7300 (Natural sciences computing)", corpsource = "Univ. Texas, Austin, TX, USA", keywords = "eigenvalues; eigenvalues and eigenfunctions; eigenvectors; matrix algebra; QR algorithm; real symmetric matrix; subroutines", kwds = "nla, eig, QR algorithm, symmetric matrix", } @Article{London:1970:CAM, author = "R. L. London", title = "Certification of ``{Algorithm 245: Treesort 3 [{M1}]}'': Proof of Algorithms --- {A} New Kind of Certification", journal = j-CACM, volume = "13", number = "6", pages = "371--374", month = jun, year = "1970", CODEN = "CACMA2", ISSN = "0001-0782", bibdate = "Fri Jan 17 18:26:39 1997", note = "See \cite{Floyd:1964:AAT}.", acknowledgement = ack-nhfb, } @Article{Chandler:1970:RS, author = "J. P. Chandler and W. C. Harrison", title = "{R201}--{SHELLSORT}", journal = j-CACM, volume = "13", number = "6", pages = "373--374", month = jun, year = "1970", CODEN = "CACMA2", ISSN = "0001-0782", bibdate = "Fri Jan 17 18:28:53 1997", acknowledgement = ack-nhfb, keywords = "digital computer sorting; minimal storage sorting; sorting", } @Article{Codd:1970:RMD, author = "E. F. Codd", title = "A Relational Model of Data for Large Shared Data Banks", journal = j-CACM, volume = "13", number = "6", pages = "377--387", month = jun, year = "1970", CODEN = "CACMA2", ISSN = "0001-0782", bibdate = "Mon Jan 22 06:31:56 MST 2001", bibsource = "Compendex database; ftp://ftp.ira.uka.de/pub/bibliography/Database/Wiederhold.bib and ftp://ftp.ira.uka.de/pub/bibliography/Database/database.bib; http://dblp.uni-trier.de/db/journals/cacm/cacm13.html#Codd70", note = "Also published in/as: `Readings in Database Systems', M. Stonebraker, Morgan-Kaufmann, 1988, pp. 5--15", URL = "http://dblp.uni-trier.de/db/journals/cacm/Codd70.html", abstract = "Future users of large data banks must be protected from having to know how the data is organized in the machine (the internal representation). A prompting service which supplies such information is not a satisfactory solution. Activities of users at terminals and most application programs would remain unaffected when the internal representation of data is changed and even when some aspects of the external representation are changed. Changes in data representation will often be needed as a result of changes in query, update, and report traffic and natural growth in the types of stored information. Existing noninferential, formatted data systems provide users with tree-structured files or slightly more general network models of the data. In Section 1, inadequacies of these models are discussed. A model based on $n$-ary relations, a normal form for data base relations, and the concept of a universal data sublanguage are introduced. In Section 2, certain operations on relations (other than logical inference) are discussed and applied to the problems of redundancy and consistency in the user's model.", acknowledgement = ack-nhfb, annote = "Shows problems of hierarchical data organization, presents a non-hierarchical `normal' structure, and discusses languages for describing relations of such normal structures.", cdrom = "CACMs1/CACM13/P377.pdf", classcodes = "C6120 (File organisation); C7250 (Information storage and retrieval)", corpsource = "IBM, San Jose, CA, USA", journalabr = "Commun ACM", keywords = "composition; computers, data storage; consistency; data bank; data banks; data base; data integrity; data organization; data structure; data structures; derivability; file organisation; hierarchies of data; information retrieval; information storage and retrie; join; networks of data; NOI; predicate calculus; redundancy; relations; retrieval language; security; systems", oldlabel = "Codd70", review = "ACM CR 8905-0329", XMLdata = "ftp://ftp.informatik.uni-trier.de/pub/users/Ley/bib/records.tar.gz#journals/cacm/Codd70", } @Article{Grant:1970:ICG, author = "C. A. Grant", title = "An interactive command generating facility", journal = j-CACM, volume = "13", number = "7", pages = "403--406", month = jul, year = "1970", CODEN = "CACMA2", ISSN = "0001-0782", bibdate = "Tue Mar 25 13:26:09 MST 1997", bibsource = "Compendex database", abstract = "A facility to permit conversationally controlled tasks to be executed in a noninteractive environment is proposed. A means by which programs can generate interactive time-sharing commands and receive the corresponding output response is presented. The commands will be invoked as if they had been typed at a console keyboard. It is argued that this facility will help overcome some of the current limitations in man-computer communication. A set of functions to accomplish the above which could be embedded into any string processing language is suggested, and necessary information pertinent to implementation of the facility on existing time-sharing systems is given.", acknowledgement = ack-nhfb, classcodes = "C6140B (Machine-oriented languages); C6150J (Operating systems)", corpsource = "Univ. California, Berkeley, CA, USA", journalabr = "Commun ACM", keywords = "computers; computers, time sharing; interactive computing; machine oriented languages; operating systems; time-sharing systems", } @Article{Wilkes:1970:CAM, author = "M. A. Wilkes", title = "Conversational Access to a 2048-Word Machine", journal = j-CACM, volume = "13", number = "7", pages = "407--414", month = jul, year = "1970", CODEN = "CACMA2", ISSN = "0001-0782", bibdate = "Tue Mar 25 13:26:09 MST 1997", bibsource = "Compendex database", abstract = "LAP6 is an on-line system running on 2048- word LINC which provides full facilities for text editing, automatic filing and file maintenance, and program preparation and assembly. It focuses on the preparation and editing of continuously displayed 23,040- character text strings (manuscripts) which can be positioned anywhere by the user and edited by simply adding and deleting lines as though working directly on an elastic scroll. Other features are available through a uniform command set which itself can be augmented by the user. The machine, although small, aids program design by providing display scope and premarked randomly addressable LINC tapes as standard items, in an environment similar to that of a sophisticated terminal. The tapes are logically similar to a disk. Priority was given to the design of efficient tape algorithms to minimize the limitations of the small memory. Techniques developed for handling scroll editing, filing, and the layered system structure are outlined.", acknowledgement = ack-nhfb, classcodes = "C6150J (Operating systems)", corpsource = "Washington Univ., St. Louis, MS, USA", journalabr = "Commun ACM", keywords = "computers; interactive computing; OD; online operation; operating systems; operating systems (computers); text editing", } @Article{Waite:1970:MPS, author = "W. M. Waite", title = "The mobile programming system: {STAGE} 2", journal = j-CACM, volume = "13", number = "7", pages = "415--421", month = jul, year = "1970", CODEN = "CACMA2", ISSN = "0001-0782", bibdate = "Tue Mar 25 13:26:09 MST 1997", bibsource = "Compendex database", abstract = "STAGE 2 is the second level of a bootstrap sequence which is easily implemented on any computer. It is a flexible, powerful macro processor designed specifically as a tool for constructing machine-independent software. The features provided by STAGE 2 are summarized, and the implementation techniques which have made it possible to have STAGE 2 running on a new machine with less than one man-week of effort are discussed. The approach has been successful on over 15 machines of widely varying characteristics.", acknowledgement = ack-nhfb, classcodes = "C6140E (Other programming languages)", corpsource = "Univ. Colorado, Boulder, CO, USA", journalabr = "Commun ACM", keywords = "bootstrapping; computers; macro processors; programming languages; system", } @Article{Bloom:1970:STT, author = "Burton H. Bloom", title = "Space\slash Time Trade-offs in Hash Coding with Allowable Errors", journal = j-CACM, volume = "13", number = "7", pages = "422--426", month = jul, year = "1970", CODEN = "CACMA2", ISSN = "0001-0782", bibdate = "Mon Jan 22 06:26:55 MST 2001", bibsource = "Compendex database; http://dblp.uni-trier.de/db/journals/cacm/cacm13.html#Bloom70", URL = "http://dblp.uni-trier.de/db/journals/cacm/Bloom70.html", abstract = "Trade-offs among certain computational factors in hash coding are analyzed. The paradigm problem considered is that of testing a series of messages one-by-one for membership in a given set of messages. Two new hash-coding methods are examined and compared with a particular conventional hash-coding method. The computational factors considered are the size of the hash area (space), the time required to identify a message as a nonmember of the given set (reject time), and an allowable error frequency. The new methods are intended to reduce the amount of space required to contain the hash-coded information from that associated with conventional methods. The reduction in space is accomplished by exploiting the possibility that a small fraction of errors of commission may be tolerable in some applications, in particular, applications in which a large amount of data is involved and a core resident hash area is consequently not feasible using conventional methods. An example is discussed which illustrates possible areas of application for the new method.", acknowledgement = ack-nhfb, annote = "Phantom use of a direct access list.", cdrom = "CACMs1/CACM13/P422.pdf", classcodes = "C6130 (Data handling techniques)", corpsource = "Computer Usage Co. Newton Upper Falls, MA, USA", journalabr = "Commun ACM", keywords = "bit vector filter CACM; codes; computers; computers, errors; hash coding; inf", oldlabel = "Bloom70", XMLdata = "ftp://ftp.informatik.uni-trier.de/pub/users/Ley/bib/records.tar.gz#journals/cacm/Bloom70", } @Article{Coffman:1970:FSU, author = "E. G. {Coffman, Jr.} and J. Eve", title = "File Structures Using Hashing Functions", journal = j-CACM, volume = "13", number = "7", pages = "427--432, 436", month = jul, 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 = "A general method of file structuring is proposed which uses a hashing function to define tree structure. Two types of such trees are examined, and their relation to trees studied in the past is explained. Results for the probability distributions of path lengths are derived and illustrated.", acknowledgement = ack-nhfb, annote = "Tree structure with branching based on bit values of key code.", classcodes = "C6120 (File organisation)", corpsource = "Univ. Newcastle upon Tyne, UK", journalabr = "Commun ACM", keywords = "computers; data processing; data structures; file organization; hash coding; information storage and retrie; tree structures; trees (mathematics)", } @Article{Bradley:1970:ABG, author = "Gordon H. Bradley", title = "Algorithm and Bound for the Greatest Common Divisor of $n$ Integers", journal = j-CACM, volume = "13", number = "7", pages = "433--436", month = jul, year = "1970", CODEN = "CACMA2", ISSN = "0001-0782", MRclass = "10A30", MRnumber = "45 3313", MRreviewer = "A. M. Cohen", bibdate = "Tue Mar 25 13:26:09 MST 1997", bibsource = "Compendex database", abstract = "A new version of the Euclidean algorithm for finding the greatest common divisor of $n$ integers $a(i)$ and multipliers $x(i)$ such that $\mbox{gcd} = x(1)a(1) + \ldots + x(n)a(n)$ is presented. The number of arithmetic operations and the number of storage locations are linear in $n$. A theorem of Lame that gives a bound for the number of iterations of the Euclidean algorithm for two integers is extended to the case of $n$ integers. An algorithm to construct a minimal set of multipliers is presented. A Fortran program for the algorithm appears as Comm. ACM Algorithm 386.", acknowledgement = ack-nhfb, classcodes = "C4190 (Other numerical methods)", corpsource = "Yale Univ., New Haven, CT, USA", journalabr = "Commun ACM", keywords = "computers, data processing; diophantine equations; Euclidean algorithm; greatest common divisor; iterative methods; mathematics; number theory; numerical methods", } @Article{Woods:1970:CSP, author = "W. A. Woods", title = "Context-Sensitive Parsing", journal = j-CACM, volume = "13", number = "7", pages = "437--445", month = jul, year = "1970", CODEN = "CACMA2", ISSN = "0001-0782", bibdate = "Tue Mar 25 13:26:09 MST 1997", bibsource = "Compendex database", abstract = "This paper presents a canonical form for context-sensitive derivations and a parsing algorithm which finds each context-sensitive analysis once and only once. The amount of memory required by the algorithm is essentially no more than the required to store a single complete derivation. In addition, a modified version of the basic algorithm is presented which blocks infinite analyses for grammars which contain loops. The algorithm is also compared with several previous parsers for context-sensitive grammars and general rewriting systems, and the difference between the two types of analyses is discussed. The algorithm appears to be complementary to an algorithm by S. Kuno in several respects, including the space-time trade-off and the degree of context dependence involved.", acknowledgement = ack-nhfb, classcodes = "C4210 (Formal logic)", corpsource = "Harvard Univ., Cambridge, MA, USA", journalabr = "Commun ACM", keywords = "automata theory; computational linguistics; context-sensitive grammars; context-sensitive parsing; formal grammars; formal language theory; parsing; parsing algorithms; recognition algorithms", } @Article{Paciorek:1970:AAE, author = "K. A. Paciorek", title = "{ACM Algorithm 385}: Exponential Integral ${E}_i(x)$", journal = j-CACM, volume = "13", number = "7", pages = "446--447", month = jul, year = "1970", CODEN = "CACMA2", ISSN = "0001-0782", bibdate = "Tue Mar 25 13:26:09 MST 1997", note = "See remark \cite{Frisch:1972:RAR}.", acknowledgement = ack-nhfb, classcodes = "C4160 (Numerical integration and differentiation); C7300 (Natural sciences computing)", corpsource = "Argonne Nat. Lab., IL, USA", keywords = "integration; subroutines", } @Article{Bradle