Journal: Comput. J.

Volume 30, Issue 6

481 -- 484Pam J. Mayhew, P. A. Dearnley. An Alternative Prototyping Classification
485 -- 486M. Ramshaw, A. P. Steward, D. Stoves. An Intelligent Retrieval and Presentation System for Management Information
487 -- 497Julie Basu, Lalit M. Patnaik, Asis K. Goswami. Ordered Ports - A Language Concept for High-Level Distributed Programming
498 -- 506Jos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop. Ready-Trace Semantics for Concrete Process Algebra with the Priority Operator
507 -- 511T. H. Tse. The Identification of Program Unstructuredness: A Formal Approach
512 -- 518R. Geoff Dromey. Derivation of Sorting Algorithms from a Specification
519 -- 528Elisa Bertino. An Evaluation of Precompilation and Interpretation in Distributed Database Management Systems
529 -- 534Yannis Manolopoulos, Dimitris Kleftouris, Loukas Petrou. A Model for an ISAM File with Multiple Overflow Chains
535 -- 540Chin-Chen Chang, C. Y. Chen. Performance Analysis of the Generalised Disc Modulo Allocation method for Multiple Key Hashing Files on Multi-Disc Systems
541 -- 550Gordon V. Cormack, R. Nigel Horspool. Data Compression Using Dynamic Markov Modelling
551 -- 557Godwin M. Gwei, Eric Foxley. A Flexible Synonym Interface with Application Examples in CAL and Help Environments
558 -- 564J. Parker, A. Kennard, D. King. The Window Terminal
565 -- 568Yannis Manolopoulos, John G. Kollias, F. Warren Burton. Batched Interpolation Search
569 -- 572M. C. Er. Lexicographic Listing and Ranking of t-Ary Trees

Volume 30, Issue 5

386 -- 392W. F. Clocksin. Principles of the DelPhi Parallel Inference Machine
393 -- 403Péter Kacsuk, A. Bale. DAP Prolog: A Set-Oriented Approach to Prolog
404 -- 412D. McGregor, S. McInnes, M. Henning. An Architecture for Associative Processing of Large Knowledge Bases (LKBs)
413 -- 419B. M. Forrest, D. Roweth, N. Stroud, D. J. Wallace, G. V. Wilson. Implementing Neural Network Models on Parallel Computers
420 -- 424A. F. W. Coulson, J. F. Collins, A. Lyall. Protein and Nucleic Acid Sequence Database Searching: A Suitable Case for Parallel processing
425 -- 432Hamid R. Arabnia, M. A. Oliver. A Transputer Network for the Arbitrary Rotation of Digitised Images
433 -- 436Selim G. Akl. Adaptive and Optimal Parallel Algorithms for Enumerating Permutations and Combinations
437 -- 450F. Warren Burton. Functional Programming for Concurrent and Distributed Computing
451 -- 457J. M. Foster, Ian F. Currie. Remote Capabilities
458 -- 468Arie Segev. Optimising Two-Way Joins in Horizontally Partitioned Database Systems
469 -- 474D. Godfrey, S. Gong, R. Hart, N. Koorland, S. Smit. Project Clear Skies : Teaching Computer Science by Computer Based Training and Electronic Messaging in China
475 -- 476Harold W. Thimbleby. Optimising Self-Replicating Programs

Volume 30, Issue 4

289 -- 294M. Sowa. A Method for Speeding up Serial Processing in Dataflow Computers by Means of a Program Counter
298 -- 307Jan van Leeuwen, Richard B. Tan. Interval Routing
308 -- 315D. J. Challab, J. D. Roberts. Buddy Algorithms
316 -- 327David A. Duce, E. V. C. Fielding. Formal Specification - A Comparison of Two Techniques
328 -- 336Cristina Sernadas, Rogério Carapuça. The Role of Conceptual Modelling Abstractions in Compiler Development
337 -- 342Philip Leith. A Programmed, Skeleton Formal Specification Method: The OUFDM
343 -- 348James K. Mullin. Accessing Textual Documents Using Compressed Indexes of Arrays of Small Bloom Filters
349 -- 354P. A. Firby, D. J. Stone. Colour Manipulation of Superposed Families of Curves
355 -- 361F. Warren Burton, V. J. Kollias, John G. Kollias. A General PASCAL Program for Map Overlay of Quadtrees and Related Problems
362 -- 371A. Inkeri Verkamo. Performance of Quicksort Adapted for Virtual Memory Use
372 -- 375S. Dvorák, Branislav Durian. Stable Linear Time Sublinear Space Merging
376 -- 378D. Gault, Maurice Clint. A Fast Algorithm for the Towers of Hanoi Problem
378 -- 380T. H. Tse. Towards a Single Criterion for Identifying Program Unstructuredness

Volume 30, Issue 3

193 -- 200Gordon S. Blair, John A. Mariani, John R. Nicol, Doug Shepherd. A Knowledge-Based Operating System
201 -- 213C. M. Reeves. Chainmail: A Model of First-Fit Memory Allocation
223 -- 227N. S. Coulter, Robert B. Cooper, Martin K. Solomon. Information-Theoretic Complexity of Program Specifications
228 -- 232K. A. Redish, W. F. Smyth. Evaluating Measures of Program Quality
233 -- 238Jainendra K. Navlakha. A Survey of System Complexity Metrics
239 -- 248D. Gray. A Pedagogical Verification Condition Generator
249 -- 253Chin-Chen Chang. An Information Protection Scheme Based Upon Number Theory
254 -- 257B. Teufel. System Design for the Remote Execution of Library Routines
258 -- 267Chin-Long Wey, Fabrizio Lombardi. On a Novel Self-Test Approach to Digital Testing
268 -- 275John C. Nash, Seymour Shlien. Simple Algorithms for the Partial Singular Value Decomposition
282 -- 0M. C. Er. An Efficient Implementation of Permutation Backtracking in Lexicographic Order
283 -- 285D. Salomon. A Design for an Efficient NOR-Gate only, Binary-Ripple Adder with Carry-Completion-Detection Logic

Volume 30, Issue 2

97 -- 109Alex A. Verrijn-Stuart. Themes and Trends in Information Systems: TC8, 1975-1985
110 -- 118Lewis M. Mackenzie, A. M. Macleod, D. J. Berry. A Multiple Microprocessor System for CPU-Bound Calculations
119 -- 127Ian A. Newman, R. P. Stallard, M. C. Woodward. A Hybrid Multiple Processor Garbage Collection Algorithm
128 -- 133Ian Sommerville, Ray Welland, Stephen Beer. Describing Software Design Methodologies
134 -- 148Howard Barringer. Up and Down The Temporal Wey
157 -- 162S. Misbah Deen, R. R. Amin, Malcolm C. Taylor. Implementation of a Prototype for PRECI
163 -- 167S. Nedunuri, Neil E. Wiseman. Displaying Random Surfaces
168 -- 175C. M. A. Castle, Michael L. V. Pitteway. An Efficient Structural Technique for Encoding 'Best-fit' Straight Lines
176 -- 182A. Unnikrishnan, Y. V. Venkatesh, Priti Shankar. Connected Component Labelling Using Quadtrees - A Bottom-up Approach
183 -- 188Hal Berghel. Crossword Compilation with Horn Clauses
189 -- 190M. J. Jamieson. A Note on the Convergence of an Iterative Scheme for Solving a Quadratic Equation

Volume 30, Issue 1

2 -- 7D. Benyon, S. Skidmore. Towards a Tool Kit for the Systems Analyst
8 -- 15Heinz K. Klein, Rudy Hirschheim. A Comparative Framework of Data Modelling Paradigms and Approaches
16 -- 19Raúl Héctor Gallard. An Extension in the Definition of a Petri Net Execution
20 -- 26Shigeyoshi Tsutsui, Yoshiji Fujimoto. Deadlock Prevention in Process Control Computer Systems
27 -- 36Roland Carl Backhouse, A. Khamiss. A While-Rule in Martin-Löf s Theory of Types
37 -- 42A. G. Middleton. Some Transformations of Relevance to Report Generation
43 -- 51G. Oulsnam. The Algorithmic Transformation of Schemas to Structured Form
52 -- 62J. A. W. Faidhi, S. K. Robinson. Programmer Experience-Level Indicators
63 -- 69Darrel C. Ince. The Automatic Generation of Test Data
70 -- 76Jeffrey S. Rohl. Towers of Hanoi: The Derivation of Some Iterative Versions
77 -- 79Peter M. Fenwick. A Fast-Carry Adder with CMOS Transmission Gates
80 -- 86Timo Raita. An Automatic System for File Compression
87 -- 92A. J. Cole. Compaction Techniques for Raster Scan Graphics Using Space-Filling Curves