The Computer Journal, Volume 23, 1980

Volume 23, Number 1, February 1980

Systems Analysis Conference Proceedings

Enid Mumford: Social Aspects of Systems Analysis. 5-7 BibTeX
P. Hammersley: The Impact of Changing Technology. 7-9 BibTeX
P. Prowse: The Data Base Approach. 9-12 BibTeX
J. N. G. Brittan: Design for a Changing Environment. 13-19 BibTeX
K. Nygaard: The Impact of Social Movements. 19-22 BibTeX
P. H. Prowse, R. G. Johnson: A Natural Language Data Base Interface to the User. 22-25 BibTeX
E. B. James: The User Interface. 25-28 BibTeX

System Programming and Advanced Programming

Harry G. Perros: A Regression Model for Predicting the Response Time of a Disc I/O System. 34-36 BibTeX
Nicholas Zvegintzov: Partial-Match Retrieval in an Index Sequential Directory. 37-40 BibTeX
Jay-Louise Weldon: Using Data Base Abstractions for Logical Design. 41-45 BibTeX
Rae A. Earnshaw: Line Tracking for Incremental Plotters. 46-52 BibTeX
E. J. Yannakoudakis, F. H. Ayres, J. A. W. Huggill: Character Coding for Bibliographical Record Control. 53-60 BibTeX

Computer Science Theory

Keith L. Clark, John Darlington: Algorithm Classification Through Synthesis. 61-65 BibTeX
D. J. Evans, Shirley A. Williams: Analysis and Detection of Parallel Processable Code. 66-72 BibTeX

Technical Applications

Y. Igarashi: The Size of Arrays for a Prime Implicant Generating Algorithm. 73-77 BibTeX
Ian H. Witten: Algorithms for Adaptive Linear Prediction. 78-84 BibTeX

Discussion

Nandlal L. Sarda, J. R. Isaac: Automatic Analysis and Design of Information Processing Systems. 90-94 BibTeX

Business Applications

James V. Hansen, Lynn J. McKell: A Computer Aid for the Analysis of Complex Systems. 98-106 BibTeX

Advanced Programming and System Programming

Ralph E. Griswold: The Use of Character Sets and Character Mappings in Icon. 107-114 BibTeX
Judy M. Bishop, D. W. Barron: Procedure Calling and Structured Architecture. 115-123 BibTeX
S. A. Kent: A Minicomputer Based High Level Network Control Language. 124-131 BibTeX
R. Haskell, Peter G. Harrison: System Conventions for non Procedural Languages. 132-141 BibTeX
Ronald H. Perrott, A. K. Raja, P. C. O'Kane: A Simulation Experiment Using Two Languages. 142-146 BibTeX
I. C. Wand: Dynamic Resource Allocation and Supervision with the Programming Language MODULA. 147-152 BibTeX

Computer Science Theory

D. T. Goodwin: Partial Non-Underflow and Non-Overflow of an Arithmetic Stack. 153-160 BibTeX
B. Dasarathy, Cheng Yang: A Transformation on Ordered Trees. 161-164 BibTeX

Hardware and Logic Design

M. Rabel, D. Dubus, A. Tosser: Saving of NAND/NOR Gates by Inhibition or D-Inhibition. 165-185 BibTeX

Discussion

D. Westreich: An Efficient Predictor-Corrector Algorithm. 186 BibTeX
D. Westreich: Improving Polynomial Evaluation at an Approximate Root. 187 BibTeX
M. D. Atkinson: Permutation Groups and Set Union Algorithms. 187 BibTeX
J. A. T. Maddison: Fast Lookup in Hash Tables with Direct Rehashing. 188-190 BibTeX

Business Applications

J. M. Triance: Structured Programming in COBOL - The Corrent Options. 194-200 BibTeX

Advanced Programming and System Programming

S. Misbah Deen: A Canonical Schema for a Generalised Data Model with Local Interfaces. 201-206 BibTeX
Michael Hatzopoulos, John G. Kollias: Some Rules for Introducing Indexing Paths in a Primary File. 207-211 BibTeX
R. B. E. Napper, R. N. Fisher: RCC - A User-Extensible Systems Implementation Language. 212-222 BibTeX
R. Nigel Horspool, Nenad Marovac: An Approach to the Problem of Detranslation of Computer Programs. 223-229 BibTeX
W. T. Jones, S. A. Kirk: APL as a Software Design Specification Language. 230-232 BibTeX
A. F. Eidelson, I. J. Robinson: Implementation of BEDSOCS: An Interactive Simulation Language. 233-236 BibTeX

Computer Science Theory

G. R. Garside, Panayiotis E. Pintelas: An ALGOL 68 Package for Implementing Graph Algorithms. 237-242 BibTeX
D. F. Cowell, Duncan Fyfe Gillies, A. A. Kaposi: Synthesis and Structural Analysis of Abstract Programs. 243-247 BibTeX
Thomas Ottmann, Derick Wood: 1-2 Brother Trees or AVL Trees Revisited. 248-255 BibTeX
Antonio Albano, Renzo Orsini: A Tree Search Approach to the M-Partition and Knapsack Problems. 256-261 BibTeX
R. K. Lutz: An Algorithm for the Real Time Analysis of Digitised Images. 262-269 BibTeX
A. J. T. Colin, Andrew D. McGettrick, P. D. Smith: Sorting Trains. 270-273 BibTeX

Technical Applications

I. J. Riddell, L. M. Delves: The Comparison of Routines for Solving Fredholm Integral Equations of the Second Kind. 274-285 BibTeX

Discussion

Advanced Programming and System Programming

Lester Lipsky: A Study of Time Sharing Systems Considered as Queueing Networks of Exponential Servers. 290-297 BibTeX
C. M. Reeves: Free Store Distribution Under Random Fit Allocation: Part 2. 298-306 BibTeX
Gunther Schmidt, Thomas Ströhlein: Timetable Construction - An Annotated Bibliography. 307-316 BibTeX

Computer Science Theory

Antonio Boccalatte, Mauro Di Manzo: An Approach to the Detection of Semantic Errors. 317-323 BibTeX
David Y. Feng, Richard F. Riesenfeld: Some New Surface Forms for Computer Aided Geometric Design. 324-331 BibTeX
Trevor I. Fenner, George Loizou: A Binary Tree Representation and Related Algorithms for Generating Partitions. 332-337 BibTeX
Antonio Albano, Renzo Orsini: A Heuristic Solution of the Rectangular Cutting Stock Problem. 338-343 BibTeX
Yaakov L. Varol: On a Subset of all the Permutations of n Marks. 344-346 BibTeX
Max A. Bramer: Correct and Optimal Strategies in Game Playing Programs. 347-352 BibTeX
Ivan Bratko, Donald Michie: An Advice Program for a Complex Chess Programming Task. 353-359 BibTeX

Technical Applications

J. Mottl: Description of a Program for Nonlinear Programming: Special Problem of Bivalent Nonlinear Programming. 360-368 BibTeX
Donald Michie: Expert Systems. 369-376 BibTeX

Discussion

Ronald S. Lemos: Measuring Students' Attitudes Towards Structured Walk-Throughs. 377-383 BibTeX