Journal: Comput. J.

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