Journal: Comput. J.

Volume 28, Issue 5

449 -- 465M. W. Shields. Concurrent Machines
466 -- 473Krishna Kant, Abraham Silberschatz. Error Propagation and Recovery in Concurrent Environments
474 -- 479Lawrence C. Paulson. Lessons Learned from LCF: A Survey of Natural Deduction Proofs
480 -- 486Lloyd Allison. Programming Denotational Semantics II
487 -- 495Zsuzsanna Markusz, A. A. Kaposi. Complexity Control in Logic-Based Programming
496 -- 497Robert M. O Keefe. Comment on Complexity Analyses of Event Set Algorithms
498 -- 500Nader Chebini. FEDOS: A Finite Element Database for Offshore Structures
501 -- 507Peter M. D. Gray, P. Esslemont. The Performance of a Relational Interface to a Codasyl Database
508 -- 517Donal J. Flynn, Alberto H. F. Laender. Mapping from a Conceptual Schema to a Target Internal Schema
518 -- 523Clement H. C. Leung, K. Wolfenden. Analysis and Optimisation of Data Currency and Consistency in Replicated Distributed Databases
524 -- 529Michael Hatzopoulos, John G. Kollias. Towards the Optimal Secondary Index Organisation and Secondary Index Selection
530 -- 537A. J. Compton. An Algorithm for the Even Distribution of Entities in One Dimension
538 -- 542M. C. Er. Enumerating Ordered Trees Lexicographically

Volume 28, Issue 4

353 -- 356K. T. Fung. An Entropy Approach to Solving Some Network Reliability Problems
357 -- 365Jovan Djordjevic, Mario Barbacci, Brad Hosler. A PMS Level Notation for the Description and Simulation of Digital Systems
366 -- 371M. L. Schneider. Weighted Decision Tables - An Alternative Solution for Ambiguity
372 -- 374Kazimierz Subieta. A Simple Method of Data Correction
375 -- 378Allan Ramsay. On Efficient Context Switching
391 -- 397Francesca Cesarini, Giovanni Soda. Design and Implementation of a Relational DBMS for Microcomputers
398 -- 405R. Bonnano, Dario Maio, Paolo Tiberio. An Approximation Algorithm for Secondary Index Selection in Relational Database Physical Design
406 -- 408Michael Hatzopoulos, John G. Kollias. On the Selection of a Reduced Set of Indexes
409 -- 411Clement H. C. Leung, K. Wolfenden. Estimating Disc Access Patterns Using Diffusion Models
412 -- 413Matti Jakobsson. Sampling without Replacement in Linear Time
414 -- 416F. Warren Burton, Matthew M. Huntbach, John G. Kollias. Multiple Generation Text Files Using Overlapping Tree Structures
417 -- 425Nivio Ziviani, Henk J. Olivié, Gaston H. Gonnet. The Analysis of an Inproved Symmetric Binary B-Tree Algorithm
426 -- 432Keith Brinck. The Expected Performance of Traversal Algorithms in Binary Trees
433 -- 438David McLean. A Method of Generating Surfaces as a Composite of Cyclide Patches
439 -- 443D. J. Abel, W. T. Williams. A Re-Examination of Four Classificatory Fusion Strategies

Volume 28, Issue 3

195 -- 199Ronald K. Stamper. Information: Mystical Fluid or a Subject for Scientific Enquiry?
200 -- 202George Rzevski. On Criteria For Assessing An Information Theory
203 -- 205G. G. Scarrott. Information, the Life Blood of Organisation
206 -- 210Colin Tully. Information, Human Activity and the Nature of Relevant Theories
211 -- 215Frank Land. Is an Information Theory Enough?
216 -- 222David H. Marwick, C. R. G. B. Rinaldi. The Tattoo on a Micro-Computer
223 -- 230Guy Fitzgerald, N. Stokes, J. R. G. Wood. Feature Analysis of Contemporary Information Systems Methodologies
231 -- 242Roland N. Ibbett, David A. Edwards, T. P. Hopkins, C. K. Cadogan, D. A. Train. Centrenet - A High Performance Local Area Network
243 -- 249S. Muir, David Hutchison, Doug Shepherd. Arca: A Local Network File Server
250 -- 256M. Howard Williams. Structuring Two-Level Grammar Specifications
257 -- 263D. T. Goodwin. The Computability of Stack Non-Underflow
264 -- 269Sakti Pramanik, Chung-Ta King. A Hardware Pattern Matching Algorithm on a Dataflow
270 -- 281R. N. Maddison, A. J. Gawronski. A Data Dictionary for Learning Data Analysis
282 -- 290S. Misbah Deen, R. R. Amin, G. O. Ofori-Dwumfuo, Malcolm C. Taylor. The Architecture of a Generalised Distributed Database System - PRECI
291 -- 297S. Misbah Deen. A Tuple Placement Technique For Databases
298 -- 308T. D. Kimura, Will D. Gillett, Jerome R. Cox Jr.. A Design of a Data Model Based on Abstraction of Symbols
309 -- 312W. B. Samson, A. Bendell. Rank Order Distributions and Secondary Key Indexing
313 -- 318Gordon Lyon. Achieving Hash Table Searches In One Or Two Bucket Probes
319 -- 329Per-Åke Larson. Performance Analysis of a Single-File Version of Linear Hashing
330 -- 334James K. Mullin. Spiral Storage: Efficient Dynamic Hashing with Constant Performance
335 -- 339A. Oxley. Surface Fitting By Triangulation

Volume 28, Issue 2

97 -- 104Enid Mumford. Defining System Requirements to Meet Business Needs: A Case Study Example
105 -- 111Julian R. Ullmann, Robert M. Haralick, Linda G. Shapiro. Computer Architecture for Solving Consistent Labelling Problems
112 -- 116Richard A. Frost. Using Semantic Concepts to Characterise Various Knowledge Representation Formalisms: A Method of Facilitating the Interface of Knowledge Base System Components
117 -- 127F. J. Dixon. Simplifying Screen Specifications - the Full Screen Manager Interface and Screen Form Generating Routines
128 -- 133J. M. Triance, Paul J. Layzell. A Language Enhancement Facility for COBOL - its Design and Implementation
134 -- 137M. Howard Williams, G. Chen. Restructuring Pascal Programs Containing Goto Statements
142 -- 147David Barton. Parallelism in Simple Algebra Systems
148 -- 153L. M. Delves, S. C. Mawdsley. DAP-Algol: A Development System for Parallel Algorithms
154 -- 161T. S. E. Maibaum. Database Instances, Abstract Data Types and Database Specification
162 -- 169Raymond Turner, Barry G. T. Lowden. An Introduction to the Formal Specification of Relational Query Languages
170 -- 178Yuksel Uckan. A Relational Schema Description and Manipulation Facility
179 -- 183Clement H. C. Leung, K. Wolfenden. Mathematical Models of File Growth

Volume 28, Issue 1

1 -- 4T. I. Maude, David J. Pullinger. Software for Reading, Refereeing and Browsing in the BLEND System
5 -- 8Nicola Santoro, Ramez Khatib. Labelling and Implicit Routing in Networks
9 -- 16D. T. Goodwin. Further Study of a Stack-Length Model
17 -- 21D. Crookes, C. J. Devlin. An Algorithm for Optimal Procedural Nesting
22 -- 28J. Robinson, Alan Burns. A Dialogue Development System for the Design and Implementation of User Interfaces in Ada
29 -- 33Paul J. Layzell. The History of Macro Processors in Programming Language Extensibility
34 -- 43J. M. Triance, Paul J. Layzell. Macro Processors for Enhancing High-Level Languages - Some Design Principles
44 -- 53N. E. Goller. Hybrid Data Structures Defined by Indirection
54 -- 58Gordon V. Cormack, R. Nigel Horspool, M. Kaiserswerth. Practical Perfect Hashing
59 -- 67Antonio L. Furtado, T. S. E. Maibaum. An Informal Approach to Formal (Algebraic) Specifications
68 -- 72B. A. Styne, T. R. King, Neil E. Wiseman. Pad Structures for the Rainbow Workstation
73 -- 77David J. Abel. Some Elemental Operations on Linear Quadtrees for Geographic Information Systems
78 -- 81M. Howard Williams. A Linear Algorithm for Colouring Planar Graphs with Five Colours
82 -- 88Fionn Murtagh. A Survey of Algorithms for Contiguity-Constrained Clustering and Related Problems
89 -- 94J. Mottl. Description of a Program for Nonlinear Programming: The Centroid Program