Journal of the ACM, Volume 13, 1966

Volume 13, Number 1, January 1966

• Bruce W. Arden, Bernard A. Galler, T. C. O'Brien, F. H. Westervelt:
  Program and Addressing Structure in a Time-Sharing Environment. 1-16
  
• A. P. Yershóv:
  ALPHA - An Automatic Programming System of High Efficiency. 17-24
  
• J. Schwartz:
  Large Parallel Computers. 25-32
  
• A. Gill:
  Realization of Input-Output Relations by Sequential Machines. 33-42
  
• L. P. Horwitz, Richard M. Karp, Raymond E. Miller, Shmuel Winograd:
  Index Register Allocation. 43-61
  
• Seymour Ginsburg, Joseph S. Ullian:
  Ambiguity in context free languages. 62-89
  
• Philip Gilbert:
  On the Syntax of Algorithmic Languages. 90-107
  
• Charles B. Dunham:
  Convergence Problems in Maehly's Second Method: Part II. 108-113
  
• George D. Byrne, Robert J. Lambert:
  Pseudo-Runge-Kutta Methods Involving Two Points. 114-123
  
• R. N. Maddison:
  A Procedure for Nonlinear Least Squares Refinement in Adverse Practical Conditions. 124-134
  
• C. A. Barlow Jr., E. L. Jones:
  A Method for the Solution of Roots of a Nonlinear Equation and for Solution of the General Eigenvalue Problem. 135-142
  
• Takao Tsuda, Hiroshi Matsumoto:
  A Note on Linear Extrapolation of Multivariable Functions by the Monte Carlo Method. 143-150
  
• Michael A. Harrison:
  On Asymptotic Estimates in Switching and Automata Theory. 151-157
  
• Arto Salomaa:
  Two Complete Axiom Systems for the Algebra of Regular Events. 158-169
  
• Charles A. Trauth:
  Group-Type Automata. 170-175
  

Volume 13, Number 2, April 1966

• Leonard Kleinrock:
  Sequential Processing Machines (S.P.M) Analyzed With a Queuing Theory Model. 179-193
  
• Ruth A. Weiss:
  BE VISION, A Package of IBM 7090 FORTRAN Programs to Draw Orthographic Views of Combinations of Plane and Quadric Surfaces. 194-204
  
• John T. Welch Jr.:
  A Mechanical Analysis of the Cyclic Structure of Undirected Linear Graphs. 205-210
  
• C. V. Ramamoorthy:
  Analysis of Graphs by Connectivity Considerations. 211-222
  
• Stephen A. Cook:
  The Solvability of the Derivability Problem for One-Normal Systems. 223-225
  
• Ward Douglas Maurer:
  A Theory of Computer Instructions. 226-235
  
• Kojiro Kobayashi, Shigeru Sekiguchi:
  On the Class of Predicates Decidable by Two-Way Multitape Finite Automata. 236-261
  
• Howard Holtz, C. T. Leondes:
  The Synthesis of Recursive Digital Filters. 262-280
  
• Marvin Minsky, Seymour Papert:
  Unrecognizable Sets of Numbers. 281-286
  
• Riaz A. Usmani:
  Boundary Value Techniques for the Numerical Solution of Certain Initial Value Problems in Ordinary Differential Equations. 287-295
  
• Philip Rabinowitz:
  Numerical Experiments in Conformal Mapping by the Method of Orthonormal Polynomials. 296-303
  
• W. W. Bledsoe:
  Some Results on Multicategory Pattern Recognition. 304-316
  

Volume 13, Number 3, July 1966

• B. Krishnamoorthi, Roger C. Wood:
  Time-Shared Computer Operations With Both Interarrival and Service Times Exponential. 317-338
  
• Lewis T. Reinwald, Richard M. Soland:
  Conversion of Limited-Entry Decision Tables to Optimal Computer Programs I: Minimum Average Processing Time. 339-358
  
• Philip K. Hooper:
  Monogenic Post Normal Systems of Arbitrary Degree. 359-363
  
• Seymour Ginsburg, Joseph S. Ullian:
  Preservation of unambiguity and inherent ambiguity in context-free languages. 364-368
  
• Sigmund N. Porter:
  Use of Multiwrite for General Programmability of Search Memories. 369-373
  
• Fred T. Krogh:
  Predictor-Corrector Methods of High Order With Improved Stability Characteristics. 374-385
  
• Bruce A. Chartres:
  Automatic Controlled Precision Calculations. 386-403
  
• M. Donald MacLaren:
  Internal Sorting by Radix Plus Sifting. 404-411
  
• John S. Bailey:
  Generalized Single-Ended Counters. 412-418
  
• William T. Weeks:
  Numerical Inversion of Laplace Transforms Using Laguerre Functions. 419-429
  
• Richard Wesley Hamming, Roger S. Pinkham:
  A Class of Integration Formulas. 430-438
  
• Ivan Erdelyi:
  On the ``Reverse Order Law'' Related to the Generalized Inverse of Matrix Products. 439-443
  
• D. L. Overheu:
  An Abstract Machine for Symbolic Computation. 444-468
  
• Franco Mileto, Gianfranco R. Putzolu:
  Corrigenda: ``Statistical Complexity of Algorithms for Boolean Function Minimization''. 469
  

Volume 13, Number 4, October 1966

• Azriel Rosenfeld, John L. Pfaltz:
  Sequential Operations in Digital Picture Processing. 471-494
  
• Edward K. Blum:
  A Formal System for Differentiation. 495-504
  
• Edward B. Anders:
  An Extension of Romberg Integration Procedures to N-Variables. 505-510
  
• Satya D. Dubey:
  Statistical Determination of Certain Mathematical Constants and Functions Using Computers. 511-525
  
• Jun'ichi Toyoda, Yoshikazu Tezuka, Yoshiro Kasahara:
  Analysis of the Address Assignment Problem for Clustered Keys. 526-532
  
• F. C. Hennie, Richard Edwin Stearns:
  Two-Tape Simulation of Multitape Turing Machines. 533-546
  
• Gregory J. Chaitin:
  On the Length of Programs for Computing Finite Binary Sequences. 547-569
  
• Rohit Parikh:
  On Context-Free Languages. 570-581
  
• Sheila A. Greibach:
  The Unsolvability of the Recognition of Linear Context-Free Languages. 582-587
  
• Thomas N. Hibbard, Joseph S. Ullian:
  The Independence of Inherent Ambiguity From Complementedness Among Context-Free Languages. 588-593
  
• Philip K. Hooper:
  The Immortality Problem for Post Normal Systems. 594-599
  
• Harry C. Shaw:
  Discrete Analogs for Continuous Filters. 600-604
  
• C. D. Negron:
  Digital One-Third Octave Spectral Analysis. 605-614
  
• J. S. Mamelak:
  The Placement of Computer Logic Modules. 615-629