The Computer Journal, Volume 34, 1991

Volume 34, Number 1, 1991

A. J. J. Dick: An Introduction to Knuth-Bendix Completion. 2-15 BibTeX
A. J. J. Dick, Phil Watson: Order-Sorted Term Rewriting. 16-19 BibTeX
Miki Hermann, Claude Kirchner, Hélène Kirchner: Implementations of Term Rewriting Systems. 20-33 BibTeX
Tobias Nipkow: Constructive Rewriting. 34-41 BibTeX
Peter Padawitz: Reduction and Narrowing for Horn Clause Theories. 42-51 BibTeX
Péter Kacsuk: A Parallel Prolog Abstract Machine and its Multi-Transputer Implementation. 52-63 BibTeX
Jukka Paakki: Prolog in Practical Compiler Writing. 64-72 BibTeX
Levent V. Orman: Constraint Maintenance as a Data Model Design Criterion. 73-79 BibTeX
Farokh B. Bastani, Ing-Ray Chen, Wael Hilal Bahaa-El-Din: A Model for the Stability Analysis of Maintenance Stragies for Linear List. 80-87 BibTeX

Short Note

Mark Allen Weiss: Empirical Study of the Expected Running Time of Shellsort. 88-91 BibTeX
J.-L. Wu, S.-T. Cheng: A Neural Network Simulating System. 92-93 BibTeX

David E. Avison, A. T. Wood-Harper: Information Systems Development Research: An Exploration of Ideas in Practice. 98-112 BibTeX
F. Noble: Seven Ways to Develop Office Systems: A Managerial Comparison of Office System Development Methodologies. 113-121 BibTeX
Danny Chiang Choon Poo: Representing Business Policies in the Jackson System Development Method. 122-131 BibTeX
Alistair G. Sutcliffe, I. Wang: Integrating Human Computer Interaction with Jackson System Development. 132-142 BibTeX
T. H. Tse, L. Pong: An Examination of Requirements Specification Languages. 143-152 BibTeX
J. Trenouth: A Survey of Exploratory Software Development. 153-163 BibTeX
M. Elizabeth C. Hull, Peter G. O'Donoghue, B. J. Hagan: Development Methods for Real-Time Systems. 164-172 BibTeX
Alan Burns, Andrew M. Lister: A Framework for Building Dependable Systems. 173-181 BibTeX
P. Hammersley: Information Systems Design Methodologies - Book Reviews. 182-185 BibTeX

Short Note

D. Campbell, T. McNeill: Finding a Majority When Sorting is Not Available. 186 BibTeX

Massimo Ancona, Andrea Clematis, Leila De Floriani, Enrico Puppo: HIDEL: A Language for Hierarchical VLSI Design. 195-206 BibTeX
Barry Wilkinson: Comparative Performance of Overlapping Connectivity Multiprocessor Interconnection Networks. 207-214 BibTeX
A. Olerup: Design Approaches: A Comparative Study of Information System Design and Architecutral Design. 215-224 BibTeX
Michael O'Docherty, C. N. Daskalakis: Multimedia Information Systems - The Management and Semantic Retrieval of all Electronic Data Types. 225-238 BibTeX
Peter J. H. King, Carol Small: Default Databases and Incomplete Information. 239-244 BibTeX
R. Marshall: Manipulating Full-Text Scientific Databases: A Logic-Based Semantico-Pragmatic Approach. 245-253 BibTeX
Ian A. Macleod: A Query Language for Retrieving Information from Hierarchic Text Structures. 254-264 BibTeX
K. Morgan, R. L. Morris, S. Gibbs: When does a Mouse become a Rat? or ... Comparing Performance and Preferences in Direct Manipulation and Command Line Environment. 265-271 BibTeX
The Rt Hon. The Earl of Halsbury: `Innovation for Failure - Some Reflections on the Work of the NRDC Relevant to the Early History of the Computer Industry in the UK'. 272-279 BibTeX

Short Notes

Varol Akman: Implementation of Karp-Luby Monte Carlo Method: An Exercise in Approximate Counting. 279-282 BibTeX
K. Wicovsky, Peter Thanisch, M. Howard Williams: Improved Recursion Handling Through Integrity Constraints. 282-285 BibTeX

Hugh Kingdon, David R. Lester, Geoffrey L. Burn: The HDG-Machine: A Highly Distributed Graph-Reducer for a Transputer Network. 290-301 BibTeX
David B. Skillicorn: Practical Concurrent Programming for Parallel Machines. 302-310 BibTeX
Julian A. Padget, Russell J. Bradford, John Fitch: Concurrent Object-Oriented Programming in Lisp. 311-319 BibTeX
M. C. Pong: I-Pigs: An Interactive Graphical Environment for Concurrent Programming. 320-330 BibTeX
E. J. Yannakoudakis, A. A. Shahid: A Controlled Environment for Meta-Message Processing. 331-344 BibTeX
Kwok-bun Yue, R. T. Jacob: An Efficient Starvation-Free Semaphore Solution for the Graphical Mutual Exclusion Problem. 345-349 BibTeX
Sanjeev Khanna: Logic Programming for Software Verification and Testing. 350-357 BibTeX

Short Note

D. J. Challab: Implementation of Flexible Arrays Using Balanced Trees. 386-396 BibTeX
B. Srinivasan: An Adaptive Overflow Technique to Defer Splitting in B-Trees. 397-405 BibTeX
W. F. Smyth: Mu-Balancing M-Way Search Trees. 406-414 BibTeX
Sivarama P. Dandamudi, Paul G. Sorenson: Improved Partial-Match Search Algorithms for BD Trees. 415-422 BibTeX
Stephan Olariu, C. Michael Overstreet, Zhaofang Wen: A Mergeable Double-Ended Priority Queue. 423-427 BibTeX
Dalit Naor, Charles U. Martel, Norman S. Matloff: Performance of Priority Queue Structures in a Virtual Memory Environment. 428-437 BibTeX
Erkki Mäkinen: A Survey on Binary Tree Codings. 438-443 BibTeX
G. Argo: Weighting Without Waiting: The Weighted Path Length Tree. 444-454 BibTeX
Seng Fuat Ou, Alan L. Tharp: High Storage Utilisation for Single-Probe Retrieval Linear Hashing. 455-468 BibTeX
Chin-Chen Chang, C. Y. Chen, J. K. Jan: On the Design of a Machine-Independent Perfect Hashing Scheme. 469-474 BibTeX

Short Note

Peter Ruzicka, Vusei-Ar: A Note on the Efficiency of an Interval Routing Algorithm. 475-476 BibTeX

Wiktor B. Daszczuk: A Structured Semantic Design of Distributed Operating Systems. 482-492 BibTeX
N. T. Son, Y. Paker: Adaptive Deadlock-Free Packet Routeing in Transputer-Based Multiprocessor Interconnection Networks. 493-502 BibTeX
Luigi V. Mancini, Santosh K. Shrivastava: Fault-Tolerant Reference Counting for Garbage Collection in Distributed Systems. 503-513 BibTeX
Jean Dollimore, E. Miranda, Wang Xu: The Design of a System for Distributing Shared Objects. 514-521 BibTeX
M. S. Verrall: Unity Doesn't Imply Unification or Overcoming Heterogeneity Problems in Distributed Software Engineering Environments. 522-533 BibTeX
Divyakant Agrawal, A. Malpani: Efficient Dissemination of Information in Computer Networks. 534-541 BibTeX
L. H. Geesink: The Coordination of Distributed Active Messages in a Dynamic Network Topology. 542-550 BibTeX
Peter Bodorik, J. Spruce Riordon: Threshold Values for Processing Distributed Queries. 551-558 BibTeX
Donald Michie: Methodologies from Machine Learning in Data Analysis and Software. 559-565 BibTeX

Short Notes

Lu Lahodynskyj: Structure Clashes. 566-568 BibTeX
Jeffrey S. Rohl: Ord-Smith's Pseudo-Lexicographical Permutation Procedure is the Tompkins-Paige Algorithm. 569-570 BibTeX