The Computer Journal, Volume 15, 1972

Volume 15, Number 1, February 1972

• S. J. Waters:
  File design fallacies. 1-4
  
• D. G. Bennett, R. A. Davenport:
  A facility for real-time program development. 5-7
  
• Brian A. Wichmann:
  Five ALGOL compilers. 8-12
  
• Jeffrey S. Rohl, J. A. Linn:
  A note on compiling arithmetic expressions. 13-14
  
• John G. P. Barnes:
  Real time languages for process control. 15-17
  
• K. Dos, H. Otto:
  Optimal dynamic use of memory for PL/1 object programs in a real memory environment. 18-20
  
• G. M. Bull:
  Dynamic debugging in BASIC. 21-24
  
• J. L. Smith, T. S. Holden:
  Restart of an operating system having a permanent file structure. 25-31
  
• J. F. Lubran, J. D. Roberts:
  Some observations on 'least time to go' scheduling. 32-36
  
• John A. N. Lee:
  The formal definition of the BASIC language. 37-41
  
• Roland N. Ibbett:
  The MU5 instruction pipeline. 42-50
  
• W. P. Boote, S. R. Clark, T. R. Rourke:
  Simulation of a paging computer system. 51-57
  
• L. B. Hunt:
  Numerical smoothing and filtering in N dimensions. 58-65
  
• C. S. Wetherell, T. J. Buckholtz, Kellogg S. Booth:
  A director for Kriegspiel, a variant of chess. 66-70
  
• A. Robin Forrest:
  Interactive interpolation and approximation by Bezier polynomials. 71-79
  
• P. E. Gill, G. F. Miller:
  An algorithm for the integration of unequally spaced data. 80-83
  
• B. S. Thornton:
  Reduction and linearisation of quadratic constrained optimisation in linked systems. 84-87
  
• P. A. Samet:
  Insight, not numbers. 88-92
  

Volume 15, Number 2, May 1972

• George Coulouris, John M. Evans, R. W. Mitchell:
  Towards content-addressing in data bases. 95-98
  
• R. N. Cuff:
  A conversational compiler for full PL/1. 99-104
  
• A. E. Brown, C. E. Phillips, J. S. Scandale, D. P. Sparrow:
  A data collection and display system for a large-scale simulation. 105-108
  
• P. C. Capon, D. Morris, Jeffrey S. Rohl, I. R. Wilson:
  The MU5 compiler target language and autocode. 109-112
  
• Derrick Morris, G. D. Detlefsen, G. R. Frank, T. J. Sweeney:
  The structure of the MU5 operating system. 113-116
  
• Joseph E. Stoy, C. Strachey:
  OS6 - an experimental operating system for a small computer. Part 1: general principles and structure. 117-124
  
• E. W. Elcock, J. J. McGregor, A. M. Murray:
  Data directed control and operating systems. 125-129
  
• J. Meredith Smith:
  Proof and validation of program correctness. 130-131
  
• S. H. Storey:
  Optimal fixed batch sizes for real-time inquiry systems. 132-133
  
• M. H. Beilby:
  Road traffic simulation on a small computer. 134-137
  
• M. P. Atkinson, S. R. Lang:
  A comparison of some inverse Laplace transform techniques for use in circuit design. 138-139
  
• J. Hyslop:
  A note on the accuracy of optimisation techniques. 140
  
• J. Oliver:
  A doubly-adaptive Clenshaw-Curtis quadrature method. 141-147
  
• D. R. Powell, J. R. Macdonald:
  A rapidly convergent iterative method for the solution of the generalised nonlinear least squares problem. 148-155
  
• Herbert E. Salzer:
  Lagrangian interpolation at the Chebyshev points x^{n, [ngr]}[equiv]cos([ngr][pgr]/n), [ngr]=0(1) n; some unnoted advantages. 156-159
  
• R. P. Saunders:
  A description and analysis of character maps. 160-169
  
• M. H. J. Webb:
  Computer procurement policies for universities and simular users. 170-175
  
• C. H. Lindsey:
  ALGOL 68 with fewer tears. 176-188
  

Volume 15, Number 3, August 1972

• Maurice V. Wilkes:
  On preserving the integrity of data bases. 191-194
  
• Joseph E. Stoy, C. Strachey:
  OS6 - an experimental operating system for a small computer. Part 2: input/output and filing system. 195-203
  
• Ben Wegbreit:
  A generalised compactifying garbage collector. 204-208
  
• K. M. Cunningham, John C. Ogilvie:
  Evaluation of hierarchical grouping techniques; a preliminary study. 209-213
  
• D. M. Jackson, L. J. White:
  Stability problems in non-statistical classification. 214-221
  
• L. W. Smith, S. S. Yau:
  Generational of regular expressions for automata by the integral of regular expressions. 222-228
  
• Ziad J. Ghandour:
  Formal systems and analysis of context sensitive languages. 229-237
  
• R. G. Bennetts:
  A realistic approach to detection test generation for combinatorial logic circuits. 238-246
  
• C. R. Edwards:
  The logic of Boolean matrices. 247-253
  
• Zvonko G. Vranesic, V. Carl Hamacher:
  Ternary logic in parallel multipliers. 254-258
  
• A. C. Clare, E. M. Cook, Michael F. Lynch:
  The identification of variable-length, equifrequent character strings in a natural language data base. 259-262
  
• W. R. Willcox, S. P. Lapage:
  Automatic construction of diagnostic tables. 263-267
  
• J. Grad, E. Zakrajsek:
  LR algorithm with Laguerre shift for symmetric tridiagonal matrices. 268-270
  
• H. F. Kaiser:
  The JK method: a procedure for finding the eigenvectors and eigenvalues of a real symmetric matrix. 271-273
  
• George Loizou:
  On the quadratic convergence of the Jacobi method for normal matrices. 274-276
  
• Reginald P. Tewarson:
  On minimax solutions of linear equations. 277-279
  
• Algorithms supplement. 280-285

Volume 15, Number 4, November 1972

• C. O. M. Stross:
  Operation of a disc data base. 290-297
  
• M. Shain:
  Acceptance trials for a real time system. 298-301
  
• C. J. Burgess:
  Compile-time error diagnostics in syntax-directed compilers. 302-307
  
• M. Wells:
  File compression using variable length encodings. 308-313
  
• F. R. A. Hopgood, J. Davenport:
  The quadratic hash method when the table size is a power of 2. 314-315
  
• M. Goldman Repko:
  Animated cartoon design with a CRT. 316-320
  
• C. A. R. Hoare:
  Proof of a structured program: 'the sieve of Eratosthenes'. 321-325
  
• Robert F. Ling:
  On the theory and construction of k-clusters. 326-332
  
• M. Ahmad:
  Iterative schemes for high speed division. 333-336
  
• P. A. Lynn:
  Recursive digital filters with linear-phase characteristics. 337-342
  
• P. A. Beaven, D. W. Lewin:
  An associative parallel processing system for non-numerical computation. 343-349
  
• I. R. Smith, L. A. Snider:
  Numerical solution of the differential equations of a synchronous generator. 350-355
  
• D. J. Evans:
  An algorithm for the solution of certain tridiagonal systems of linear equations. 356-359
  
• J. A. Shanks:
  Romberg tables for singular integrands. 360-361
  
• David Barton, J. P. Fitch:
  A review of algebraic manipulative programs and their application. 362-381