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
  Electronic Edition (ACM DL) BibTeX
• A. P. Yershóv:
  ALPHA - An Automatic Programming System of High Efficiency. 17-24
  Electronic Edition (ACM DL) BibTeX
• J. Schwartz:
  Large Parallel Computers. 25-32
  Electronic Edition (ACM DL) BibTeX
• A. Gill:
  Realization of Input-Output Relations by Sequential Machines. 33-42
  Electronic Edition (ACM DL) BibTeX
• L. P. Horwitz, Richard M. Karp, Raymond E. Miller, Shmuel Winograd:
  Index Register Allocation. 43-61
  Electronic Edition (ACM DL) BibTeX
• Seymour Ginsburg, Joseph S. Ullian:
  Ambiguity in context free languages. 62-89
  Electronic Edition (ACM DL) BibTeX
• Philip Gilbert:
  On the Syntax of Algorithmic Languages. 90-107
  Electronic Edition (ACM DL) BibTeX
• Charles B. Dunham:
  Convergence Problems in Maehly's Second Method: Part II. 108-113
  Electronic Edition (ACM DL) BibTeX
• George D. Byrne, Robert J. Lambert:
  Pseudo-Runge-Kutta Methods Involving Two Points. 114-123
  Electronic Edition (ACM DL) BibTeX
• R. N. Maddison:
  A Procedure for Nonlinear Least Squares Refinement in Adverse Practical Conditions. 124-134
  Electronic Edition (ACM DL) BibTeX
• 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
  Electronic Edition (ACM DL) BibTeX
• Takao Tsuda, Hiroshi Matsumoto:
  A Note on Linear Extrapolation of Multivariable Functions by the Monte Carlo Method. 143-150
  Electronic Edition (ACM DL) BibTeX
• Michael A. Harrison:
  On Asymptotic Estimates in Switching and Automata Theory. 151-157
  Electronic Edition (ACM DL) BibTeX
• Arto Salomaa:
  Two Complete Axiom Systems for the Algebra of Regular Events. 158-169
  Electronic Edition BibTeX
• Charles A. Trauth:
  Group-Type Automata. 170-175
  Electronic Edition (ACM DL) BibTeX

Volume 13, Number 2, April 1966

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

Volume 13, Number 3, July 1966

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

Volume 13, Number 4, October 1966

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