Journal of the ACM, Volume 7, 1960

Volume 7, Number 1, January 1960

David E. Ferguson:
Input-Output Buffering and Fortran. 1-9
Marvin L. Stein, Jack Rose:
Changing from Analog to Digital Programming by Digital Techniques. 10-23
Richard Bellman:
Sequential Machines, Ambiguity, and Dynamic Programming. 24-28
Mario L. Juncosa, T. W. Mullikin:
On the Increase of Convergence Rates of Relaxation Procedures for Elliptic Partial Difference Equations. 29-36
Tse-Sun Chow, Harold Willis Milnes:
Boundary Contraction Solution of Laplace's Differential Equation II. 37-45
W. E. Milne, R. R. Reynolds:
Stability of a Numerical Solution of Differential Equations - Part II. 46-56
Bernard A. Galler, D. P. Rozenberg:
A Generalization of a Theorem of Carr on Error Bounds for Rung-Kutta Procedures. 57-60
William H. Anderson, R. B. Ball, J. R. Voss:
A Numerical Method for Solving Control Differential Equations on Digital Computers. 61-68
Gerard P. Weeg:
Truncation Error in the Graeffe Root-Squaring Method. 69-71
R. R. Coveyou:
Serial Correlation in the Generation of Pseudo-Random Numbers. 72-74
A. Rotenberg:
A New Pseudo-Random Number Generator. 75-77
H. H. Goldstine:
Footnote to a Recent Paper. 78-79

H. Gelernter, J. R. Hansen, C. L. Gerberich:
A Fortran-Compiled List-Processing Language. 87-101
Dag Prawitz, Haåkan Prawitz, Neri Voghera:
A Mechanical Proof Procedure and its Realization in an Electronic Computer. 102-128
W. G. Wadey:
Floating-Point Arithmetics. 129-139
Gerard Salton:
A New Method for the Payment of Bills and the Transfer of Credit. 140-149
Hans J. Maehly:
Methods for Fitting Rational Approximations, Part I: Telescoping Procedures for Continued Fractions. 150-162
Robin E. Esch:
A Necessary and Sufficient Condition for Stability of Partial Difference Equation Problems. 163-175
R. Alonso:
A Starting Method for the Three-Point Adams Predictor-Corrector Method. 176-180
E. A. Flinn:
A Modification of Filon's Method of Numerical Integration. 181-184
David D. Morrison:
Remarks on the Unitary Triangularization of a Nonsymmetric Matrix. 185-186
J. A. Lively:
Letter to the Editor. 187
E. J. Gauss:
Corrigendum to ``A Comparison of Machine Organizations by Their Performance of the Iterative Solution of Linear Equations''. 188

Martin Davis, Hilary Putnam:
A Computing Procedure for Quantification Theory. 201-215
M. E. Maron, J. L. Kuhns:
On Relevance, Probabilistic Indexing and Information Retrieval. 216-244
Walter F. Freiberger, Richard H. Jones:
Computation of the Frequency Function of a Quadratic Form in Random Normal Variables. 245-250
Arthur Gill:
Analysis of Nets by Numerical Methods. 251-254
Frank Harary:
On the Consistency of Precedence Matrices. 255-259
James M. Ortega:
On Sturm Sequences for Tridiagonal Matrices. 260-263
Samuel D. Conte, Ralph T. Dames:
On an Alternating Direction Method for Solving the Plate Problem with Mixed Boundary Conditions. 264-273
Werner L. Frank:
Solution of Linear Systems by Richardson's Method. 274-286
G. B. Fitzpatrick:
Synthesis of Binary Ring Counters of Given Periods. 287-297

Ronald E. Prather:
Computational Aids for Determining the Minimal Form of a Truth Function. 299-310
Seymour Ginsburg:
Connective Properties Preserved in Minimal State Machines. 311-325
C. E. Miller, A. W. Tucker, R. A. Zemlin:
Integer Programming Formulation of Traveling Salesman Problems. 326-329
Erwin Kleinfeld:
Techniques for Enumerating Veblen-Wedderburn Systems. 330-337
E. E. Osborne:
On Pre-Conditioning of Matrices. 338-345
Erwin H. Bareiss:
Resultant Procedure and the Mechanization of the Graeffe Process. 346-386
N. L. Gordon, A. H. Flasterstein:
A Note on a Method of Computing the Gamma Function. 387-388
Ivan Flores:
Computer Time for Address Calculation Sorting. 389-409