The Computer Journal, Volume 17, 1974

Volume 17, Number 1, February 1974

Eric Mutch Memorial Prize

• 
  J. K. Broadbent:
  Microprogramming and System Architecture. 2-8

Business Applications

• 
  D. A. H. Brown:
  Some Error Correcting Codes for Certain Transposition and Transcription Errors in Decimal Integers. 9-12
• 
  P. A. Dearnley:
  A Model of a Self-Organising Data Management System. 13-16
• 
  S. J. Waters:
  Methodology of Computer Systems Design. 17-24

Advanced and System Programming

• 
  P. Burnett, P. A. Kidd, Andrew M. Lister:
  Simulation of Real-Time Program Faults. 25-27
• 
  J. H. Kardasz, G. Molnar:
  A SIMULA-Based Structure Oriented Language for the Dynamic Simulation of Chemical Plants. 28-37
• 
  Ben Wegbreit:
  Procedure Closure in EL1. 38-43
• 
  Jacques Cohen, Eileen Carton:
  Non-Deterministic FORTRAN. 44-51
• 
  J. J. Florentin:
  Consistency Auditing of Databases. 52-58
• 
  J. Inglis:
  Inverted Indexes and Multi-List Structures. 59-63

Hardware and Logical Design

• 
  D. Pai, D. Lewin:
  Analysis of Sequential Logic Circuits. 64-68
• 
  Ewan S. Page, L. Waller:
  An Interactive Approach for the Solution of a Class of Discrete Optimisation Problems. 69-74
• 
  D. A. Phillips:
  A Preliminary Investigation of Function Optimisation by a Combination of Methods. 75-79

Computer Recreations

• 
  Wlodzimierz Proskurowski:
  Ordering Method to Accelerate the Solution of Mate-in-Two Chess Problems by Computer. 80-81

Review

• 
  Dana L. Ulery, Hatem M. Khalil:
  A Survey of Language-Oriented Systems for Numerical Linear Algebra. 82-88

Volume 17, Number 2, May 1974

Business Applications

• 
  Ronald G. Parsons, Alfred G. Dale, C. V. Yurkanan:
  Data Manipulation Language Requirements for Database Management Systems. 99-103

Advanced and System Programming

• 
  A. Y. C. Chau, B. W. Davies, B. Zacharov:
  ISLAND - An Interactive Graphics System for Mathematical Analysis. 104-112
• 
  Lee E. Heindel, Jerry T. Roberto:
  ARPL - A Retrieval Process Language. 113-116
• 
  Roger M. Needham, Maurice V. Wilkes:
  Domains of Protection and the Management of Processes. 117-120
• 
  Leon Presser, J. Benson:
  Evaluation of Compiler Diagnostics. 121-123
• 
  G. M. Stacey:
  A FORTRAN Interface to the CODASYL Database Task Group Specifications. 124-129
• 
  M. Wells, A. Denson:
  Direct Execution of Programming Languages. 130-134

Computer Science Theory

• 
  Ole Amble, Donald E. Knuth:
  Ordered Hash Tables. 135-142
• 
  Jeffrey S. Fenton:
  Memoryless Subsystems. 143-147
• 
  Andrew M. Lister:
  Validation of Systems of Parallel Processes. 148-151
• 
  W. F. Smyth, E. Radaceanu:
  A Storage Scheme for Hierarchic Structures. 152-156
• 
  R. G. Ward:
  A Variable Delay Method for Improving Recognition of Parallel Processable Code in Computer Programs. 157-164

Technical Applications

• 
  D. M. Brandon Jr.:
  The Implementation and Use of Sparse Matrix Techniques in General Simulation Programs. 165-171
• 
  M. J. Cross:
  Nimbus 4 SCR Data Handling. 172-180
• 
  J. R. Manning:
  Continuity Conditions for Spline Curves. 181-186

Volume 17, Number 3, August 1974

Business Applications

• 
  B. Wagle, P. M. Jenkins:
  Corporate Planning, Models and Computer Systems. 194-200
• 
  D. A. H. Brown:
  Biquinary Decimal Error Detection Codes with One, Two and Three Check Digits. 201-204
• 
  P. A. Dearnley:
  The Operation of a Model Self Organising Data Management System. 205-210
• 
  S. J. Waters:
  Computer-Aided Methodology of Computer Systems Design. 211-215

Advanced Programming and System Programming

• 
  P. D. Stephens:
  The IMP Language and Compiler. 216-223
• 
  James K. Mullin, G. F. Stuart:
  Optimum Blocking Factors for a Mix of Sequentially Processed Jobs. 224-228
• 
  R. A. d'Inverno, R. A. Russell-Clark:
  CLAM - Its Function, Structure and Implementation. 229-233

Computer Science Theory

• 
  Raphael Haskell:
  Symmetrical Precedence Relations on General Phrase Structure Grammars. 234-241
• 
  T. Komor:
  A Note on Left Factored Languages. 242-244
• 
  S. Dvorák, B. Kropác:
  Decomposition of the Gozinto's Graph with the Use of a Nesting Store. 245-248
• 
  David M. Jackson, William W. Wadge:
  Normal Form Reduction of Probabilistic Computations in Non-Parametric Classification. 249-252

Hardware and Logical Design

• 
  Jean V. Scott:
  Computer Design of Cascade Logic. 253-259

Technical Applications

• 
  Dana H. Ballard, C. O. Jelinek, Roland Schinzinger:
  An Algorithm for the Solution of Constrained Generalised Polynomial Programming Problems. 261-266
• 
  Hatem M. Khalil, Dana L. Ulery:
  LINEAL: A System for Numerical Linear Algebra. 267-274
• 
  J. L. Hay, Roy E. Crosbie, Robert I. Chaplin:
  Integration Routines for Systems with Discontinuities. 275-278

Discussions

• 
  H. N. Coates:
  Management in the Computer Business. 279-282
• 
  David W. Barron:
  Job Control Languages and Job Control Programs. 282-286

Volume 17, Number 4, November 1974

Business Application

• 
  D. W. Honey:
  The 'Queensway' Mersey Tunnel Entrance Control Project. 290-294
• 
  B. E. Jones, M. A. Ould:
  The Patient Medical Record as a Database. 295-301
• 
  F. E. Randall:
  Interrogating Data-Sensitive Files. 302-305
• 
  Timothy L. Shaftel, R. W. Zmud:
  Allocation of Computer Resources Through Flexible Pricing. 306-312

Advanced Programming and System Programming

• 
  R. H. Pierce:
  Source Language Debugging on a Small Computer. 313-317
• 
  D. H. McLain:
  Drawing Contours from Arbitrary Data Points. 318-324
• 
  Samuel H. Valentine:
  Comparative Notes on ALGOL 68 and PL/I. 325-331
• 
  Nenad Marovac:
  A Method for Defining General Networks for CAD, Using Interactive Computer Graphics. 332-336
• 
  Richard S. Bird:
  Speeding up Programs. 337-339

Computer Science Theory

• 
  A. Ecker:
  The Period of Search for the Quadratic and Related Hash Methods. 340-343
• 
  Grzegorz Rozenberg, Derick Wood:
  Generative Models for Parallel Processes. 344-348
• 
  Kenneth B. Salomon:
  An Efficient Algorithm Which Determines the Output from a Sequential Machine for Regular Inputs. 349-354
• 
  W. E. Wright:
  An Axiomatic Specification of Euclidean Analysis. 355-364

Technical Applications

• 
  Maurelio Boari, P. Pellizzardi, R. Rossi:
  Performance Evaluation of a Process Control System by Simulation Model. 365-370
• 
  F. Durbin:
  Numerical Inversion of Laplace Transforms: An Efficient Improvement to Dubner and Abate's Method. 371-376