The Computer Journal, Volume 18, 1975

Volume 18, Number 1, February 1975

Business Applications

• 
  J. E. Jarvis:
  The Many Faces of Multics. 2-6
• 
  K. A. Robinson:
  Database - The Ideas Behind the Ideas. 7-11
• 
  S. J. Waters:
  Estimating Magnetic Disc Seeks. 12-17

Advanced Programming and System Programming

• 
  C. E. Goble:
  A Free-Text Retrieval System Using Hash Codes. 18-20
• 
  C. T. Fike:
  A Permutation Generation Method. 21-22
• 
  Raphael Haskell:
  Efficient Implementation of a Class of Recursively Defined Functions. 23-29
• 
  Alfonso F. Cardenas, R. W. Seeley:
  A Simple Data Structure for Interactive Graphic Design/Drafting. 30-33
• 
  John R. White, Leon Presser:
  A Structured Language for Translator Construction. 34-42

Computer Science Theory

• 
  Derek Partridge:
  A Dynamic Database Which Automatically Removes Unwanted Generalisation for the Efficient Analysis of Language Features that Exhibit a Disparate Frequency Distribution. 43-48
• 
  James R. Slagle, Lewis M. Norton:
  Automated Theorem-Proving for the Theories of Partial and Total Ordering. 49-54
• 
  Gaetano Aurelio Lanzarone, Mario Ornaghi:
  Program Construction by Refinements Preserving Correctness. 55-62

Hardware and Logical Design

• 
  Fraser G. Duncan, D. Zissos, Maureen Walls:
  A Postfix Notation for Logic Circuits. 63-69

Technical Application

• 
  David J. Evans:
  A Recursive Algorithm for Determining the Eigenvalues of a Quindiagonal Matrix. 70-73
• 
  John C. Nash:
  A One-Sided Transformation Method for the Singular Value Decomposition and Algebraic Eigenproblem. 74-76
• 
  F. Oliveira-Pinto:
  The Use of Derivatives in the Optimisation of the Truncation Error of Polynomial Approximations. 77-80

Volume 18, Number 2, May 1975

Business Applications

• 
  A. D. Chambers:
  Audit Test Packs and Computer Audit Programs. 98-101
• 
  W. Neville Holmes:
  Identification Number Design. 102-107
• 
  Keith W. Smillie, Michael J. R. Shave:
  Converting Decision Tables to Computer Programs. 108-111
• 
  R. W. Zmud:
  Two Enhancements to a Flexible Pricing Control System for Allocating Computer Resources. 112-114

Advanced Programming ans System Programming

• 
  Robert A. Fleck Jr.:
  Computer Efficiency and Linear Programming. 115-116
• 
  C. C. M. Parish:
  On the Application of Queueing Theory to Analysing On-Line Computing Systems. 117-121
• 
  D. J. Rees:
  The EMAS Director. 122-130
• 
  Alex S. Wight:
  The EMAS Archiving Program. 131-134
• 
  J. J. Florentin, A. J. Sammes:
  Systems with State Re-Set. 135-139
• 
  A. L. Lim, G. R. Lewis:
  Towards Structured Programs in APL. 140-143
• 
  P. J. Comerford:
  Link Systems for Multi-Computer Control of a Large Process: Part 1. 144-147

Computer Science Theory

• 
  Nicholas Zvegintzov:
  Problems with Analytic Description of Text Formats. 148-149
• 
  Richard J. W. Housden:
  On String Concepts and Their Implementation. 150-156
• 
  A. Mayne, E. B. James:
  Information Compression by Factorising Common Strings. 157-160
• 
  Walter A. Burkhard:
  Full Table Quadratic Quotient Searching. 161-163
• 
  F. James Rohlf:
  A New Approach to the Computation of the Jardine-Sibson B_k Clusters. 164-168

Technical Applications

• 
  B. Cooper:
  Time Domain Matrix Evaluation of a Digital Servomechanism Using Semi-Hybrid Computational. 169-172
• 
  Ayse Alaylioglu, G. A. Evans, J. Hyslop:
  Automatic Generation of Quadrature Formulae for Oscillatory Integrals. 173-176

Volume 18, Number 3, August 1975

Business Applications

• 
  K. J. Allen:
  Insuring Computers. 194-197
• 
  A. Parkin:
  Bringing Cost Into File Design Decisions. 198-199
• 
  S. J. Waters:
  Analysis of Self-Indexing, Disc Files. 200-205

Advanced Programming ans System Programming

• 
  D. A. Hawley, J. S. Knowles, Edwin E. Tozer:
  Database Consistency and the CODASYL DBTG Proposals. 206-212
• 
  G. E. Millard, D. J. Rees, Harry Whitfield:
  The Standard EMAS Subsystem. 213-219
• 
  P. J. Comerford:
  Link Systems for Multi-Computer Control of a Large Process: Part 2 - Fault Detection. 220-222

Computer Science Theory

• 
  H. D. Baecker:
  Areas and Record-Classes. 223-226
• 
  Walter A. Burkhard:
  Nonrecursive Traversals of Trees. 227-230
• 
  Geoffrey Hunter:
  A Quantitative Measure of Precision. 231-233
• 
  D. Ghoshdastidar, Mohit Kumar Roy:
  A Study on the Evaluation of Shell's Sorting Technique. 234-235
• 
  D. M. Boulton, Chris S. Wallace:
  An Information Measure for Single Link Classification. 236-238

Hardware and Logical Design

• 
  G. C. E. Winn:
  A Digital Approach to the Efficient Synthesis of Threshold Gates. 239-242

Technical Applications

• 
  L. F. Turner:
  The 'On-Ground' Compression of Satellite Data. 243-247
• 
  R. H. Bezdek, Ahmed H. Sameh:
  A Note on Computational Methods for Input-Output Econometric Models. 248-249
• 
  Tatsuo Tabata, R. Ito:
  Effective Treatment of the Interpolation Factor in Marquardt's Nonlinear Least-Squares Fit Algorithm. 250-251
• 
  Edward H. Twizell:
  The Numerical Solution of Second Order Hyperbolic Partial Differential Equations with Unequally Spaced Initial Conditions. 252-257
• 
  J. A. Grant, G. D. Hitchins:
  Two Algorithms for the Solution of Polynomial Equations to Limiting Machine Precision. 258-264
• 
  Gary D. Knott:
  Hashing Functions. 265-278

Volume 18, Number 4, November 1975

Business Applications

• 
  R. A. Osborn, W. P. Bain, T. Lloyd, P. H. Perring:
  SPG - A Programming System for Commercial Transaction Processing. 299-297
• 
  Peter J. H. King, Roger G. Johnson:
  The Conversion of Decision Tables to Sequential Testing Procedures. 298-306

Advanced Programming ans System Programming

• 
  A. Parkin:
  Programming Objectives: An Analysis. 307-311
• 
  Gill Ringland:
  Software Functional Variability. 312-317
• 
  Rae A. Earnshaw:
  Is APL a Viable Programming Language? 318-323
• 
  R. J. Dakin:
  A General Control Language : Language Structure and Translation. 324-332
• 
  M. Howard Williams, H. L. Ossher:
  A Computer Model for Instructional Purposes. 333-341
• 
  Alice Chung-Phillips, R. W. Rosen:
  A Note on Dynamic Data Storage in FORTRAN IV. 342-343

Computer Science Theory

• 
  F. J. B. Goddu:
  The Application of Precedence Operations to Interactive Canadian Income Tax Calculations. 344-348
• 
  D. T. Goodwin:
  An Algorithm for Inverting Certain Translators of Context-Free Languages. 349-354
• 
  P. G. Barker:
  Syntactic Definition and Parsing of Molecular Formulae: Part 1 Initial Syntax Definition and Parser Implementation. 355-359

Hardware and Logical Design

• 
  Klaus J. Berkling, Werner E. Kluge:
  Conceptual Design of a Hardwired Main Storage Management Unit. 360-365

Technical Applications

• 
  W. F. Lunnon:
  Counting Multidimensional Polyominoes. 366-367
• 
  K. Vit:
  Rational Interpolation and Extrapolation for SUMT. 368-370
• 
  Jeff R. Cash:
  The Numerical Solution of Linear Stiff Boundary Value Problems. 371-372
• 
  G. E. Trapp Jr., William Squire:
  Solving Nonlinear Vandermonde Systems. 373-374
• 
  Santosh K. Shrivastava:
  A View of Concurrent Process Synchronisation. 375-379