The Computer Journal, Volume 22, 1979

Volume 22, Number 1, February 1979

Business Applications

• 
  R. Burdekin, Roger S. Scowen:
  Computers and the Construction of Economic Models. 3-10
• 
  T. Briggs:
  A Review of Road Traffic Simulation Method Using a General Purpose Digital Computer. 11-16

Advanced Programming and System Programming

• 
  C. B. Spengler, J. B. Westwood:
  Assessing Data Retrieval Capabilities: A Case Study. 17-21
• 
  Eva Huzan:
  Modelling of Indexed Sequential Files: Monitoring Disc Transfers. 22-27
• 
  J. F. A. Wiederhold:
  Tuning to Service Standards Without Monitors. 28-36
• 
  Rahul Chattergy, Udo W. Pooch:
  A Distributed Function Computer with Dedicated Processors. 37-40
• 
  Y. Kobayashi, Tosiyasu L. Kunii:
  A Simulation of a Minicomputer Controlled System and its Use as a Debugging Tool. 41-49
• 
  P. J. Brown:
  Software Methods for Virtual Storage of Executable Code. 50-52
• 
  Michael A. Hennell, David Hedley:
  An Experimental Testbed for Numerical Software, Part 2: ALGOL 68. 53-56

Computer Science Theory

• 
  J. C. Turner:
  The Conditional Distribution of Waiting Time Given Queue Length in a Computer System. 57-62
• 
  Frank G. Pagan:
  ALGOL 68 as a Metalanguage for Denotational Semantics. 63-66
• 
  P. W. Williams, D. Woodhead:
  Computer Assisted Analysis of Cryptic Crosswords. 67-70
• 
  A. G. Bell, N. Jacobi:
  How to Read, Make and Store Chess Moves. 71-75

Technical Applications

• 
  G. Z. Ben-Yaacov:
  Interactive Computation and Data Management for Power System Studies. 76-79
• 
  G. W. Hill:
  Cyclic Properties of Pseudo-Random Sequences of Mersenne Prime Residues. 80-85

Discussion

• 
  Nenad Marovac:
  Microcomputers in Computer Science Programmes. 91-94

Volume 22, Number 2, May 1979

Advanced Programming and System Programming

• 
  Susan Jones:
  A Network Display Program. 98-104
• 
  Andrew T. Arblaster, Max E. Sime, Thomas R. G. Green:
  Jumping to Some Purpose. 105-109
• 
  Farhad Mavaddat, Behrooz Parhami:
  A Data Structure for Family Relations. 110-113
• 
  J. R. Oliver, R. S. Newton:
  Practical Experience with ALGOL 68-RT. 114-118
• 
  Sallie S. Nelson:
  CONSIM: A Study of Control Issues in Conversational Simulation. 119-126
• 
  Steven J. Harrington:
  A New Symbolic Integration System in Reduce. 127-131
• 
  P. I. P. Boulton, J. R. Goguen:
  A Machine Description Language. 132-135
• 
  Granino A. Korn, Olgierd A. Palusinski:
  Application of a Digital Computer Simulation Language to Control Hybrid Computer Monte Carlo Studies. 136-141
• 
  Abraham Silberschatz:
  On the Safety of the IO Primitive in Concurrent PASCAL. 142-145
• 
  James Leslie Keedy, Kotagiri Ramamohanarao, John Rosenberg:
  On Implementing Semaphores with Sets. 146-150

Computer Science Theory

• 
  Richard S. Bird:
  Recursion Elimination with Variable Parameters. 151-154
• 
  Dan M. Nessett, Ottis W. Rechard:
  Allocation Algorithms for Dynamically Microprogrammable Multiprocessor Systems. 155-163
• 
  M. Howard Williams:
  Conditions for Extended Operator Precedence Parsing. 164-168

Hardware and Logic Design

• 
  Stephen S. Yau, Y. S. Tang:
  Generation of Shortest Test Sequences for Detecting Individual Faults of Sequential Circuits. 169-172
• 
  Stanley L. Hurst:
  An Engineering Consideration of Spectral Transforms for Ternary Logic Synthesis. 173-183

Technical Applications

• 
  Jeff R. Cash, J. C. P. Miller:
  On an Iterative Approach to the Numerical Solution of Difference Schemes. 184-187

Volume 22, Number 3, August 1979

Advanced Programming and System Programming

• 
  S. J. Waters:
  Towards Comprehensive Specifications. 195-199
• 
  P. A. Dearnley:
  Application Level Microcode to Speed Data Base Management. 200-202
• 
  Constantine Lazos, J. R. Yandle:
  Improving CPU Utilisation in a Multiprogramming System. 203-205
• 
  F. Warren Burton, John G. Kollias:
  Optimising Disc Head Movements in Secondary Key Retrievals. 206-208
• 
  Günter Haring, Reinhard Posch, C. Leonhardt, Günther Gell:
  The Use of a Synthetic Jobstream in Performance Evaluation. 209-219
• 
  Olli Nevalainen, Jukka Teuhola:
  Priority Queue Administration by Sublist Index. 220-225
• 
  E. F. Elsworth:
  Compilation via an Intermediate Language. 226-233
• 
  Mauro Di Manzo, Arrigo L. Frisiani, G. Olimpo:
  Loop Optimisation for Parallel Processing. 234-239

Computer Science Theory

• 
  Pierre Deransart:
  Proof by Semantic Attributes of a LISP Compiler. 240-245
• 
  M. Bozyigit, Y. Paker:
  A Fixed Routing Problem in Large and High Connectivity Networks. 246-250

Hardware and Logic Design

• 
  Z. M. Lotfi, A. Tosser:
  Minimising the NAND-NOR-XOR Network of Modulo 2 Sum of Boolean Products. 251-255

Technical Applications

• 
  J. Mottl:
  Description of a Program for Nonlinear Programming. 256-261
• 
  P. J. Green, Bernard W. Silverman:
  Constructing the Convex Hull of a Set of Points in the Plane. 262-266
• 
  R. H. Barlow, David J. Evans:
  A Parallel Organisation of the Bisection Algorithm. 267-269

Special Feature

• 
  K. A. Robinson:
  An Entity/Event Data Modelling Method. 270-281

Discussion

• 
  Peter Naur:
  Critique of the ISO Data Processing Vocabulary. 286-288

Volume 22, Number 4, November 1979

Advanced Programming and System Programming

• 
  T. J. Howkins, Mehdi T. Harandi:
  Towards More Portable COBOL. 290-295
• 
  L. Moore:
  Design for a Transportable Job Organisation Language. 296-302
• 
  Ehud Gudes, Harvey S. Koch, Fred A. Stahl:
  Security in a Multi-Level Structured Model of a Data Base. 303-306
• 
  F. Warren Burton:
  A FORTRAN Preprocessor to Support Encapsulated Data Abstraction Definitions. 307-312
• 
  Timo Leipälä, Olli Nevalainen:
  A Plotter Sequencing System. 313-316
• 
  Brian A. Wichmann, J. Du Croz:
  A Program to Calculate the GAMM Measure. 317-322
• 
  Constantine Lazos, A. Vafiadis:
  A Method to Estimate the I/O Buffer Size in a Computer System. 323-328
• 
  P. I. P. Boulton, M. A. R. Kittler:
  Estimating Program Reliability. 328-331
• 
  Hugo R. Simpson, K. Jackson:
  Process Synchronisation in MASCOT. 332-345
• 
  C. M. Reeves:
  Free Store Distribution Under Random Fit Allocation: Part 1. 346-351
• 
  J. R. Haley, Andrew S. Noetzel:
  A Study of Processing Repetition. 352-356
• 
  J. Loetzsch, M. Machura, W. Paetzold:
  Sample Implementation of a Special Purpose Language by the DEPOT System. 357-362

Computer Science Theory

• 
  J. Jélinek:
  An Algebraic Theory for Parallel Processor Design. 363-375
• 
  Michael J. C. Gordon:
  On the Power of List Iteration. 376-379

Discussion

• 
  G. Duncan:
  Q Charts - A Method of Specification. 380-382