Journal of the ACM, Volume 9, 1962

Volume 9, Number 1, January 1962

R. A. Brooker, D. Morris:
A General Translation Program for Phrase Structure Languages. 1-10
Stephen Warshall:
A Theorem on Boolean Matrices. 11-12
Thomas N. Hibbard:
Some Combinatorial Properties of Certain Trees With Applications to Searching and Sorting. 13-28
Leland H. Williams:
Algebra of Polynomials in Several Variables for a Digital Computer. 29-40
Gerald Estrin, C. R. Viswanathan:
Organization of a ``Fixed-Plus-Variable'' Structure Computer for Computation of Eigenvalues and Eigenvectors of Real Symmetric Matrices. 41-60
Richard Bellman:
Dynamic Programming Treatment of the Travelling Salesman Problem. 61-63
W. E. Milne, R. R. Reynolds:
Fifth-Order Methods for the Numerical Solution of Ordinary Differential Equations. 64-70
Richard Elton von Holdt:
Inversion of Triple-Diagonal Compound Matrices. 71-83
David L. Phillips:
A Technique for the Numerical Solution of Certain Integral Equations of the First Kind. 84-97
D. Morrison:
Optimal Mesh Size in the Numerical Integration of an Ordinary Differential Equation. 98-103
Roger L. Crane, Robert J. Lambert:
Stability of a Generalized Corrector Formula. 104-117
Eldon R. Hansen:
On Quasicyclic Jacobi Methods. 118-135
Lionello Lombardi:
Mathematical Structure of Nonarithmetic Data Processing Procedures. 136-159

H. Bottenbruch:
Structure and Use of ALGOL 60. 161-221
Bruce W. Arden, Bernard A. Galler, Robert M. Graham:
An Algorithm for Translating Boolean Expressions. 222-239
Franz L. Alt:
Digital Pattern Recognition by Moments. 240-258
W. Doyle:
Operations Useful for Similarity-Invariant Pattern Recognition. 259-267
D. R. Smith, C. H. Davidson:
Maintained Activity in Neural Nets. 268-279
Henry P. Kramer:
A Note on the Self-Consistency of Definitions of Generalization and Inductive Inference. 280-281
R. C. Bose, R. J. Nelson:
A Sorting Problem. 282-296

John H. Holland:
Outline for a Logical Theory of Adaptive Systems. 297-314
Joyce Friedman:
A Decision Procedure for Computations of Finite Automata. 315-323
H. Allen Curtis:
Multiple Reduction of Variable Dependency of Sequential Machines. 324-344
Gerard P. Weeg:
The Structure of an Automaton and Its Operation-Preserving Transformation Group. 345-349
Seymour Ginsburg, H. Gordon Rice:
Two Families of Languages Related to ALGOL. 350-371
Sheldon Sobel:
Oscillating Sort - A New Sort Merging Technique. 372-374
John S. Bailey, George Epstein:
Single Function Shifting Counters. 375-378
James J. Peterka:
A Method for Obtaining Specific Values of Compiling-Parameter Functions. 379-386
Thomas A. Holdiman:
Management Techniques for Real Time Computer Programming. 387-404
Sol Weintraub:
Cumulative Binomial Probabilities. 405-407

A. L. Dulmage, N. S. Mendelsohn:
Matrices Associated With the Hitchcock Problem. 409-418
Jerome M. Kurtzberg:
On Approximation Methods for the Assignment Problem. 419-439
Terence G. Jones:
An Algorithm for the Numerical Application of a Linear Operator. 440-449
Jim Douglas Jr., James E. Gunn:
Alternating Direction Methods for Parabolic Systems in m Space Variables. 450-456
P. E. Chase:
Stability Properties of Predictor-Corrector Methods for Ordinary Differential Equations. 457-468
Arthur C. Fleck:
Isomorphism Groups of Automata. 469-476
David G. Cantor:
On The Ambiguity Problem of Backus Systems. 477-479
A. A. Grau:
A Translator-Oriented Symbolic Programming Language. 480-487
Adin D. Falkoff:
Algorithms for Parallel-Search Memories. 488-511
Frank B. Baker:
Information Retrieval Based upon Latent Class Analysis. 512-521
Gerald Estrin, C. R. Viswanathan:
Correction and Addendum: ``Organization of a `Fixed-Plus-Variable' Structure Computer for Computation of Eigenvalues and Eigenvectors of Real Symmetric Matrices''. 522