The Computer Journal, Volume 17, 1974

Volume 17, Number 1, February 1974

Eric Mutch Memorial Prize

Business Applications

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

Advanced and System Programming

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

Hardware and Logical Design

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

Computer Recreations

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

Review

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

Business Applications

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

Advanced and System Programming

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

Computer Science Theory

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

Technical Applications

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

Business Applications

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

Advanced Programming and System Programming

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

Computer Science Theory

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

Hardware and Logical Design

Technical Applications

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

Discussions

Business Application

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

Advanced Programming and System Programming

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

Computer Science Theory

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

Technical Applications

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