Journal: Comput. J.

Volume 32, Issue 6

482 -- 493David F. Brailsford, Richard J. Beach. Electronic Publishing - A Journal and its Production
494 -- 504Richard Furuta. An Object-Based Taxonomy for Abstract Structure in Document Models
505 -- 514Heather Brown. Standards for Structured Documents
516 -- 523Ian Ritchie. HYPERTEXT - Moving Towards Large Volumes
524 -- 532Robert A. Morris. Rendering Digital Type: A Historical and Economic View of Technology
533 -- 540Paul S. Licker. Human Resource Management and Business Success in Small, Hi-Tech Firms: Some Lessons for Data Processing
541 -- 548David A. Umphress, Udo W. Pooch, Murat Tanik. Fast Prototyping of a Goal-Oriented Simulation Environment System
549 -- 553J. R. Parker. On the Conversion of Filled Polygonal Regions from Raster to Vector Representation
554 -- 562G. H. Kirby, M. Visvaligam, P. Wade. Recognition and Representation of Hierarchy of Polygons with Holes
563 -- 566A. Quin, Y. Yanagisawa. On Data Compaction of Scanning Curves
567 -- 570Arch D. Robison, Brian J. Hafner, Steven Skiena. Eight Pieces Cannot Cover a Chess Board
571 -- 573Michel Cosnard, Afonso Ferreira. Generating Permutations on a VLSI Suitable Linear Network

Volume 32, Issue 5

386 -- 398Ian Sommerville, Ronny Thomson. An Approach to the Support of Software Evolution
399 -- 412M. W. Shields. Implicit System Specification and the Interface Equation
413 -- 421Robin M. Gallimore, Derek Coleman, Victoria Stavridou. UMIST OBJ: A Language for Executable Progam Specifications
422 -- 431C. McDonald, Lloyd Allison. Denotational Semantics of a Command Interpreter and Their Implementation in Standard ML
432 -- 436Brian A. Wichmann. Towards a Formal Specification of Floating Point
437 -- 444Luigi V. Mancini, Giuseppe Pappalardo. Proving Correctness Properties of a Replicated Synchronous Program
445 -- 452Vincent P. Heuring, Uwe Kastens, R. G. Plummer, William M. Waite. COMAR: A Data Format for Integration of CFG Tools
453 -- 460Panayotis Tsanakas, Nikitas A. Alexandridis, George K. Papakonstantinou. An FP-Based Design Methodology for Problem-Oriented Architectures
461 -- 469D. I. Bevan, Geoffrey L. Burn, R. J. Karia, J. D. Robson. Principles For the Design of a Distributed Memory Architecture for Parallel Graph Reduction
470 -- 473M. C. Er. A New Algorithm for Generating Binary Trees Using Rotations
474 -- 476John A. Ellis, P. M. Lepolesa. A Las Vegas Graph Colouring Algorithm

Volume 32, Issue 4

290 -- 296Phillip M. Yelland. First Steps Towards Fully Abstract Semantics for Object-Oriented Languages
297 -- 304Dennis G. Kafura, K. H. Lee. Inheritance in Actor Based Concurrent Object-Oriented Languages
305 -- 311William R. Cook. A Proposal for Making Eiffel Type-Safe
312 -- 322Rajendra K. Raj, Henry M. Levy. A Compositional Model for Software Reuse
323 -- 332Graeme N. Dixon, Graham D. Parrington, Santosh K. Shrivastava, Stuart M. Wheater. The Treatment of Persistent Objects in Arjuna
333 -- 340Els Laenens, François Staes, Dirk Vermeir. Browsing à la Carte in Object-Oriented Databases
341 -- 350T. P. Hopkins, Mario Wolczko. Writing Concurrent Object-Oriented Programs Using Smalltalk-80
351 -- 361Martin C. Cooper. Formal Hierarchical Object Models for Fast Template Matching
362 -- 369Rami G. Melhem, Donald M. Chiarulli, Steven P. Levitan. Space Multiplexing of Waveguides in Optically Interconnected Multiprocessor Systems
370 -- 373J. P. Bennett, G. C. Smith. The Need for Reduced Byte Stream Instruction Sets
374 -- 376Chris J. Mitchell. Another Postage Stamp Problem
377 -- 379A. Oxley. Calculating Earthworks Volumes - An Exercise in Geometric Algorithms

Volume 32, Issue 3

194 -- 201K. P. Tan, T. S. Chua, P. T. Lee. AUTO-DFD: An Intelligent Data Flow Processor
202 -- 211Anthony N. Godwin, M. B. Gore, D. W. Salt. A Comparison of JSD and DFD as Descriptive Tools
212 -- 219Michael A. Shepherd, William J. Phillips, C.-K. Chu. A Fixed-Size Bloom Filter for Searching Textual Documents
220 -- 227Abdelmoula El-Hamdouchi, Peter Willett 0002. Comparison of Hierarchie Agglomerative Clustering Methods for Document Retrieval
228 -- 237Jyrki Katajainen, Timo Raita. An Approximation Algorithm for Space-Optimal Encoding of a Text
238 -- 240Erkki Mäkinen. On Implementing Two Adaptive Data-Compression Schemes
241 -- 245K. W. Yu, Tong Lai Yu. Data Encryption Based Upon Time Reversal Transformations
246 -- 251M. Rahman, S. Misbahuddin. Effect of a Binary Symmetric Channel on the Synchronisations Recovery of Variable Length Codes
252 -- 261L. H. Ngoh, T. P. Hopkins. Transport Protocol Requirements for Distributed Multimedia Information Systems
262 -- 266G. G. Scarrott. The Nature of Information
267 -- 272André Schiper, Roland Simon, Philippe Desarzens, Jacques-André Sengstag. Efficient Implementation of Rendezvous
273 -- 275J. M. Wilson. Crossword Compilation Using Integer Programming
276 -- 280Hal Berghel, C. Yi. Crossword Compiler-Compilation
281 -- 282Borivoje Djokic, Masahiro Miyakawa, Satoshi Sekiguchi, Ichiro Semba, Ivan Stojmenovic. A Fast Iterative Algorithm for Generating Set Partitions

Volume 32, Issue 2

98 -- 107John Hughes. Why Functional Programming Matters
108 -- 121R. Frost, John Launchbury. Constructing Natural Language Interpreters in a Lazy Functional Language
122 -- 126Richard S. Bird. Algebraic Identities for Program Calculation
127 -- 141Lennart Augustsson, Thomas Johnsson. The Chalmers Lazy-ML Compiler
142 -- 151Stuart Wray, Jon Fairbairn. Non-Strict Languages - Programming and Implementation
152 -- 161Adrienne Bloss, Paul Hudak, Jonathan Young. An Optimising Compiler for a Modern Functional Language
162 -- 174S. B. Jones, A. F. Sinclair. Functional Programming and Operating Systems
175 -- 186Simon L. Peyton Jones. Parallel Implementations of Functional Programming Languages
187 -- 189Xue-Miao Lu. An Iterative Solution for the 4-Peg Towers of Hanoi

Volume 32, Issue 1

1 -- 12T. H. Tse, L. Pong. Towards a Formal Foundation for DeMarco Data Flow Diagrams
13 -- 15Chris J. Mitchell. Multi-Destination Secure Electronic Mail
16 -- 20Timothy C. Bell, Alistair Moffat. A Note on the DMC Data Compression Scheme
21 -- 23S. Hekmatpour. A Window Manager for UNIX
24 -- 28Bernd Freisleben, James Leslie Keedy. Priority Semaphores
29 -- 35Paolo Corsini, Graziano Frosini, G. Speranza. The Parallel Interpretation of Logic Programs in Distributed Architectures
36 -- 44Balanjaninath Edupuganty, Barrett R. Bryant. Two-Level Grammar as a Functional Programming Language
45 -- 54Ivor P. Page, R. T. Jacob. The Solution of Mutual Exclusion Problems which can be Described Graphically
55 -- 62N. Parimala, Naveen Prakash, B. L. N. Rao, Narasimha Bolloju. A Query Facility to a Network DBMS
63 -- 67A. Hutchinson. Inheritance and Kinds of Slots
68 -- 75Joseph C. Culberson, J. Ian Munro. Explaining the Behaviour of Binary Search Trees Under Prolonged Updates: A Model and Simulations
76 -- 85M. C. Er. Classes of Admissible Permutations that are Generatable by Depth-First Traversals of Ordered Trees
86 -- 89Alan R. Halbert, Stephen Todd, John R. Woodwark. Generalizing Active Zones for Set-Theoretic Solid Models
90 -- 91Mauro Negri, Giuseppe Pelagatti, Licia Sbattella. Semantics and Probelms of Universal Quantification in SQL
91 -- 93Martha Sideri, Sophocles Efremidis, G. Papaconstantinou. Semantically Driven Parsing of Context-Free Languages
93 -- 94M. J. Jamieson. Rapidly Converging Iterative Formulae for Finding Square Roots and Their Computational Efficiencies