Last update:
Fri Oct 24 12:51:30 MDT 2008
M. C. Harrison Implementation of the Substring Test by
Hashing . . . . . . . . . . . . . . . . 777--779
Jessica Keyes Changing the Basics in Software
Development . . . . . . . . . . . . . . 38
John Desmond Mapping Real to the Ideal Model . . . . 46
Jim Shelton A Well-Oiled Methodology . . . . . . . . 49
Phil Courtney Automation Education Industry Growing 58
Damian Rinaldi Balancing the Cost/Benefit Equation . . 79
Jerry Cashin Road to Open Systems Begins with First
Step . . . . . . . . . . . . . . . . . . 84
Paul Korzeniowski E-Mail Becoming Foundation for
Applications . . . . . . . . . . . . . . 95
C. R. Spooner A Software Architecture for the 70's:
Part I --- The General Approach . . . . 5--37
P. C. Poole Developing a Multi-Access System Online 39--50
J. B. Evans Installing an ASP System . . . . . . . . 51--60
D. A. Bell and
B. A. Wichmann An ALGOL-like Assembly Language for a
Small Computer . . . . . . . . . . . . . 61--72
S. R. Bourne A Design for a Text Editor . . . . . . . 73--81
Alexander K. Hope A Planar Graph Drawing Program . . . . . 83--91
P. A. Samet A Note on Radix Conversion for Integers 93--96
Donald E. Knuth An Empirical Study of FORTRAN Programs 105--133
M. Richards The Portability of the BCPL Compiler . . 135--146
Jacob Katzenelson Documentation and the Management of a
Software Project --- A Case Study . . . 147--157
W. R. Jones A MACRO Facility for Interactive Display 159--166
B. Landy and
Roger M. Needham Software Engineering Techniques used in
the Development of the Cambridge
Multiple-Access System . . . . . . . . . 167--173
M. J. Rees Some Improvements to the MINIMOP
Multi-Access Operating System . . . . . 175--188
M. D. Oestreicher The Design of the Internal Structure of
the ICL GEORGE 3 Operating System . . . 189--200
P. N. Goble Simulating a Small Machine for Teaching
Purposes . . . . . . . . . . . . . . . . 209--221
D. W. Harvey Answering Datel Telephone Calls by PDP-8 223--229
I. C. Pyle and
R. C. F. McLatchie and
B. Grandage A Second-Order Bug with Delayed Effect 231--233
G. A. Banton An On-Line Retail Collection Data System 235--243
W. M. Taliaferro Modularity. The Key to System Growth
Potential . . . . . . . . . . . . . . . 245--257
A. C. Kilgour The Evolution of a Graphics System for
Linked Computers . . . . . . . . . . . . 259--268
P. J. Brown The Kent On-Line System . . . . . . . . 269--277
B. Landy Development of Scheduling Strategies in
the Titan Supervisor . . . . . . . . . . 279--295
Niklaus Wirth The Design of a PASCAL Compiler . . . . 309--333
P. A. Woodsford The Design and Implementation of the
GINO 3D Graphics Software Package . . . 335--365
F. D. Brown and
Valerie J. Calderbank and
M. D. Poole Some Comments on the Portability of a
Large ALGOL Program --- The
Implementation of SID on KDF9 . . . . . 367--371
M. D. Poole Implementation of an Editing Algorithm
Allowing Repeating Corrections . . . . . 373--381
C. B. Cuming Monitoring the Operation of System
Software . . . . . . . . . . . . . . . . 383--389
R. Kingslake TALK: An Interactive System for a Small
Computer . . . . . . . . . . . . . . . . 391--401
P. M. Woodward Practical Experience with ALGOL 68 . . . 7--19
U. Schumann MAPLIB: A Data Bank of FORTRAN Functions
describing Material Properties . . . . . 21--28
J. N. Hambury and
S. Karniel and
G. C. Barney A Display Package for CAD of Control
Systems . . . . . . . . . . . . . . . . 29--41
I. C. Pyle Some Techniques in Multi-Computer System
Software Design . . . . . . . . . . . . 43--54
Allen Reiter A Resource-Oriented Time-Sharing Monitor 55--71
J. Welsh and
C. Quinn A PASCAL Compiler for ICL 1900 Series
Computers . . . . . . . . . . . . . . . 73--77
R. E. Thomas and
P. Kent Control of Queues in a Permissive
Society . . . . . . . . . . . . . . . . 79--91
M. C. Newey and
P. C. Poole and
W. M. Waite Abstract Machine Modelling to Produce
Portable Software --- A Review and
Evaluation . . . . . . . . . . . . . . . 107--136
Andrew J. T. Colin The Implementation . . . . . . . . . . . 137--142
D. W. Barron and
I. R. Jackson The Evolution of Job Control Languages 143--164
Gerald M. Weinberg Programming and Compiling Strategies for
Paging Systems . . . . . . . . . . . . . 165--171
D. E. Cronin and
J. P. Brandon A High Speed Computer-to-Computer Data
Link . . . . . . . . . . . . . . . . . . 173--186
E. Satterthwaite Debugging Tools for High Level Languages 197--217
A. Teperman and
Jacob Katzenelson A Format Editor . . . . . . . . . . . . 219--230
R. J. W. Hudson An Implementation of Phrase Structures
in ALGOL . . . . . . . . . . . . . . . . 231--240
Bush Jones A Note on Internal Merging . . . . . . . 241--243
R. J. Pankhurst SOLO; System for On-Line Optimization 245--258
Arthur M. Lesk Generation of Interactive Displays from
FORTRAN using the PDP-10/LSD-1 Computer
Graphics System . . . . . . . . . . . . 259--273
P. J. Brown Re-creation of Source Code from Reverse
Polish Form . . . . . . . . . . . . . . 275--278
J. Moudrý A Notation Describing Corrections in
Files . . . . . . . . . . . . . . . . . 279--285
Alfred D. Whaley A Failure Tolerant Filing System . . . . 287--291
R. E. Thomas and
J. C. Baldwin What Was, What Is and What Should Have
Been. A Critical Evaluation of the
Chilton Multi-Access System . . . . . . 313--320
John Gary and
Richard Halgason An Extension of FORTRAN Containing
Finite Difference Operators . . . . . . 321--336
Marvin V. Zelkowitz PIT: A Macro-implemented Implementation
Language . . . . . . . . . . . . . . . . 337--346
K. W. Hahn and
J. G. Athey Diagnostic Messages . . . . . . . . . . 347--352
Ivan Flores Intraprogram Documentation . . . . . . . 353--358
N. E. Wiseman and
C. J. Chenay and
M. Etherton and
J. O. Hiles and
H. U. Lemke RAINBOW: A Multi-Purpose CAD System . . 359--375
John L. Baker CDC 6000-Series Register Save/Restore 377--387
B. H. Bracher and
J. F. Macewan and
A. G. Abbott An On-Line Data Collection System for
Film Measurement . . . . . . . . . . . . 389--396
Ben Shneiderman Polynomial Search . . . . . . . . . . . 5--8
J. Good and
B. A. M. Moon FORTRAN --- As Provided by Some Major
Machine Manufacturers in 1970 . . . . . 9--14
R. S. Scowen Babel and SOAP, Applications for
Extensible Compilers . . . . . . . . . . 15--27
J. Vlietstra and
J. B. M. Lucassen AEDBAR: A Software System for Designing
and Analysing Planar Bar Mechanisms . . 29--42
D. Holdsworth and
G. W. Robinson and
M. Wells A Multi-Terminal Benchmark . . . . . . . 43--59
Rain Mark Two Unusual Methods for Debugging System
Software . . . . . . . . . . . . . . . . 61--63
Gordon Ashby and
Loren Salmonson and
Robert Heilman Design of an Interactive Debugger for
FORTRAN:MANTIS . . . . . . . . . . . . . 65--74
W. M. Waite A Sampling Monitor for Applications
Programs . . . . . . . . . . . . . . . . 75--79
J. Larmouth Serious FORTRAN . . . . . . . . . . . . 87--107
Andrew S. Tanenbaum and
William H. Benson The People's Time Sharing System . . . . 109--119
T. W. Mosedale PENDANT: A Computerized Support to
Program Modularity under Limited Memory
Conditions . . . . . . . . . . . . . . . 121--143
Per Brinch Hansen Testing a Multiprogramming System . . . 145--150
C. C. Charlton and
P. G. Hibbard A Note on Recreating Source Code from
the Reverse Polish Form . . . . . . . . 151--153
C. A. Bowring Writing a Roll-out-Roll-in Facility for
Small Machines . . . . . . . . . . . . . 155--160
David C. Hoaglin An Analysis of the Loop Optimization
Scores in Knuth's `Empirical Study of
FORTRAN Programs' . . . . . . . . . . . 161--169
D. Lurié and
C. Vandoni Statistics for FORTRAN Identifiers and
Scatter Storage Techniques . . . . . . . 171--177
Charles Erwin Cohn Improving the Efficiency of
Direct-Memory-Access Output Operations 179--183
J. Larmouth Serious FORTRAN --- Part 2 . . . . . . . 197--225
G. Davies and
R. Welland A Pre-processor using Rule Mask
Techniques for Extended Entry Decision
Tables . . . . . . . . . . . . . . . . . 227--234
Geoffrey Leach and
Hellmut Golde Bootstrapping XPL to an XDS Sigma 5
Computer . . . . . . . . . . . . . . . . 235--244
H. D. Baecker Aspects of Reference Locality in List
Structures in Virtual Memory . . . . . . 245--253
Donald Alcock and
Brian Shearing The MISSTRESS User's Book . . . . . . . 255--301
M. Calderbank and
V. J. Calderbank A Portable Language for System
Development . . . . . . . . . . . . . . 309--321
M. V. Wilkes The Cambridge Multiple-Access System in
Retrospect . . . . . . . . . . . . . . . 323--332
P. A. Reavley Two Examples of Virtual Records . . . . 333--343
Ehud Gudes and
A. Reiter On Evaluating Boolean Expressions . . . 345--350
C. A. Mercer Buffering for Sustained, High Speed
Transfers . . . . . . . . . . . . . . . 351--354
A. G. Bell and
P. J. Hallowell and
D. H. Long A Universal Benchmark? . . . . . . . . . 355--358
G. E. Hedrick and
J. R. Forrest A High Level Plotting System . . . . . . 359--368
Peter Grogono MUSYS: Software for an Electronic Music
Studio . . . . . . . . . . . . . . . . . 369--383
R. Baird APET: A Versatile Tool for Estimating
Computer Application Performance . . . . 385--395
S. S. Coleman and
P. C. Poole and
W. M. Waite The Mobile Programming System, Janus . . 5--23
Lawrence E. Nolan and
Jon C. Strauss Workload Characterization for
Timesharing System Selection . . . . . . 25--39
R. G. Hamlet User-Like Executives . . . . . . . . . . 41--49
Marvin V. Zelkowitz and
William G. Bail Optimization of Structured Programs . . 51--57
Paul B. Schneck The Myth of Multiprogramming . . . . . . 59--62
T. Lang and
D. A. Fox A General Purpose Task Queueing
Mechanism for Small Machines . . . . . . 63--70
W. J. Milne A Simple Interactive Graphics Facility 71--78
Michael Marcotty and
Henrik Schutz The Systems Programming Language, Malus 79--90
D. G. Bate Design and Implementation of an
Interactive Test Bed . . . . . . . . . . 91--109
James L. Elshoff and
Robert Beckermeyer and
John Dill and
Michael Marcotty and
John Murray Handling Asynchronous Interrupts in a
PL/1-like Language . . . . . . . . . . . 117--124
G. L. Farr Virtual Storage on ICL 1900's . . . . . 125--128
Alan M. Bauer and
Harry J. Saal Does APL Really Need Run-time Checking? 129--138
P. J. Brown Writing Software in ALGOL . . . . . . . 139--144
K. J. MacCallum and
L. T. Shafe A Mixed Language System POP-2 and
FORTRAN . . . . . . . . . . . . . . . . 145--154
Pierre Desjardins Dynamic Data Structure Mapping . . . . . 155--162
D. A. Jones and
N. J. Partington A Software Teletype Exchange . . . . . . 163--169
R. E. Thomas and
D. C. Toll Implementation of a Management Game . . 171--179
R. S. Scowen and
B. A. Wichmann The Definition of Comments in
Programming Languages . . . . . . . . . 181--188
H. Gomaa An Exercise in Resource Allocation . . . 199--213
Michael J. Spier and
Thomas N. Hastings and
David N. Cutler A Storage Mapping Technique for the
Implementation of Protective Domains . . 215--230
W. R. Franta and
P. A. Houle On a Loose Communication Between
Dissimilar CDC6000 Operating Systems . . 231--236
M. R. Williams Heuristic Procedures (If They Work-Leave
Them Alone) . . . . . . . . . . . . . . 237--240
H. E. Kulsrud Some Statistics on the Reasons for
Compiler . . . . . . . . . . . . . . . . 241--249
Thomas W.-S. Plum Random Search on the $8$-Queens Problem 251--253
K. Wong and
Jon C. Strauss Use of a Software Monitor in the
Validation of an Analytic Computer
System Model . . . . . . . . . . . . . . 255--263
P. G. Barker POP-2 Performance on a Small 1900
Machine . . . . . . . . . . . . . . . . 265--273
James R. Bell Rapid Calculations of Subscripted Array
Addresses . . . . . . . . . . . . . . . 275--277
P. M. Girard and
I. H. Rose and
D. B. Scott Implementation of a Graphics and Test
Output Retrieval System . . . . . . . . 279--288
C. Wrandle Barth Notes on the case Statement . . . . . . 289--298
R. M. Footit and
C. Whitby-Strevens The University of Warwick Modular One
Operating System . . . . . . . . . . . . 309--339
Ned Chapin New Format for Flowcharts . . . . . . . 341--357
Barbara G. Ryder The PFORT Verifier . . . . . . . . . . . 359--377
Jacob Palme List Structures in SIMULA and PL/1 --- a
Comparison . . . . . . . . . . . . . . . 379--388
P. Hazel A General-Purpose Text Editor for OS/360 389--399
Dennis J. Failey DSOS: A Skeletal, Real-Time,
Minicomputer Operating System . . . . . 5--18
J. S. Rohl and
H. D. Ellison and
R. J. Collins An In-Core Batching Standard FORTRAN
Compiler for Large ICL 1900 Machine . . 19--28
J. Larmouth Scheduling for a Share of the Machine 29--49
J. M. Mullins Solving Synchronization Problems using
Semaphores . . . . . . . . . . . . . . . 51--64
James M. Nelson and
Charles E. Cohn Parallel Processing in FORTRAN with
Floating-Point Hardware . . . . . . . . 65--68
I. T. Parsons A High-Level Job Control Language . . . 69--82
R. Daniel Bergeron and
Henri R. Bulterman A Technique for Evaluation of User
Systems on an IBM S/370 . . . . . . . . 83--92
Ralph E. Griswold A Protable Diagnostic Facility for
SNOBOL4 . . . . . . . . . . . . . . . . 93--104
G. Yuval Gathering Run-Time Statistics Without
Black Magic . . . . . . . . . . . . . . 105--108
F. Jarvis John Two Simple Windowing Algorithms . . . . 115--122
Andrew J. T. Colin and
K. Shorey and
W. Teasdale The Translation and Interpretation of
STAB-12 . . . . . . . . . . . . . . . . 123--138
Dennis P. Geller Debugging Other Languages in APL . . . . 139--145
W. F. C. Purser and
D. M. Jennings The Design of a Real-Time Operating
System for a Minicomputer. Part 1 . . . 147--167
Jaques Cohen Experience with a Conversational Parser
Generating System . . . . . . . . . . . 169--180
Domenico Ferrari and
Mark Liu A General-Purpose Software Measurement
Tool . . . . . . . . . . . . . . . . . . 181--192
N. Adam Rin and
Maxine Brown An Overview of a System for Automatic
Generation of File Conversion Programs 193--202
D. A. Fox and
T. Lang Development of an Advanced Satellite
System . . . . . . . . . . . . . . . . . 203--210
John A. Self Embedding Non-determinism . . . . . . . 221--227
I. D. Hill and
R. S. Scowen and
B. A. Wichmann Writing Algorithms in ALGOL 60 . . . . . 229--244
Alan Shaw and
Nelson Weiderman and
Gregory R. Andrews and
Mary-Beth Felcyn and
John Rieber and
Gain Wong A Multiprogramming Nucleus with Dynamic
Resource Facilities . . . . . . . . . . 245--267
Albert J. Turner A Transportable Extendable Compiler . . 269--278
D. C. S. Shearn Discrete Event Simulation in ALGOL 68 279--293
W. M. Waite Hints on Distributing Portable Software 295--308
Anita K. Jones and
William A. Wulf Towards the Design of Secure Systems . . 321--336
Robert P. Bogott and
Mark A. Franklin Evaluation of Markov Program Models in
Virtual Memory Systems . . . . . . . . . 337--346
Gordon Lyon and
Rona B. Stillman Simple Transforms for Instrumenting
FORTRAN Decks . . . . . . . . . . . . . 347--358
G. S. Herman-Giddens and
R. B. Warren and
R. C. Barr and
M. S. Spach BIOMAC: Block Structured Programming
Using PDB-11 Assembler Language . . . . 359--374
D. Rayner Recent Developments in
Machine-Independent Job Control
Languages . . . . . . . . . . . . . . . 375--393
Brian W. Kernighan RATFOR --- A Preprocessor for a Rational
Fortran . . . . . . . . . . . . . . . . 395--406
Peter M. Neely A New Programming Discipline . . . . . . 7--27
D. O. Grosse-Lindemann and
H. H. Nagel Postlude to a PASCAL-Compiler Bootstrap
on a DECSystem-10 . . . . . . . . . . . 29--42
Gary J. Nutt Computer System Resource Requirements of
Novice Programming Students . . . . . . 43--50
R. A. Earnshaw Graph Plotting in ALGOL 68-R . . . . . . 51--60
Stephen J. Hague and
Brian Ford Portability-Prediction and Correction 69--69
J. L. Schonfelder The Production of Special Function
Routines for a Multi-Machine Library . . 71--82
Ronald L. Lancaster and
Victor B. Schneider Quick Compiler Construction Using
Uniform Code Generators . . . . . . . . 83--91
R. F. Brunt and
D. E. Tuffs A User-Oriented Approach to Control
Languages . . . . . . . . . . . . . . . 93--108
C. Bron and
W. de Vries A PASCAL Compiler for PDP 11
Minicomputers . . . . . . . . . . . . . 109--116
Norman D. Peterson Cobol Generation of Source Programs and
Reports . . . . . . . . . . . . . . . . 117--131
Per Brinch Hansen The Solo Operating System: A Concurrent
Pascal Program . . . . . . . . . . . . . 141--149
Per Brinch Hansen The Solo Operating System: Job Interface 151--164
Per Brinch Hansen The Solo Operating System: Processes,
Monitors, and Classes . . . . . . . . . 165--200
Per Brinch Hansen Disk Scheduling at Compile Time . . . . 201--205
Stefan Feyock and
Paul Lazarus Syntax-directed Correction of Syntax
Errors . . . . . . . . . . . . . . . . . 207--219
A. J. Guttmann Multi-dimensional Summations in FORTRAN 221--224
Robert M. McClure and
Richard L. Gauthier Minivital: A Compiler Case Study . . . . 225--237
K. Sreenivasan Application of Accounting Data in
Evaluating Computer System Performance 239--244
David R. Hanson Variable Association in SNOBOL4 . . . . 245--254
M. Richards JUMBO: A Demonstration Program to
Illustrate the Use of BCPL in a
Real-time Graphics Application Requiring
Scaled Arithmetic . . . . . . . . . . . 255--259
B. A. Wichmann and
B. Jones Testing ALGOL 60 Compilers . . . . . . . 261--270
G. F. Coulouris and
I. Durham and
J. R. Hutchinson and
M. H. Patel and
T. Reeves and
D. G. Winderbank The Design and Implementation of an
Interactive Document Editor . . . . . . 271--279
Michael J. Spier Software Malpractice-A Distasteful
experience . . . . . . . . . . . . . . . 293--299
J. M. Craddock Designing a FORTRAN Based System for
Meteorological Statistics . . . . . . . 301--319
N. Newman and
T. Lang Documentation for Computer Users . . . . 321--326
W. H. Kaubisch and
R. H. Perrott and
C. A. R. Hoare Quasiparallel Programming . . . . . . . 341--356
S. K. Shrivastava Systematic Programming of Scheduling
Algorithms . . . . . . . . . . . . . . . 357--370
David L. Russel and
Jeffrey Y. Sue Implementation of a Pascal Compiler for
the IBM 360 . . . . . . . . . . . . . . 371--376
A. M. Lister and
K. J. Maynard An Implementation of Monitors . . . . . 377--385
A. D. Heher Some Features of a Real-time BASIC
Executive . . . . . . . . . . . . . . . 387--391
M. A. Sabin Portability-Some Experiences with
FORTRAN . . . . . . . . . . . . . . . . 393--396
M. Visvalingam Indexing with Codes Deltas-A Data
Compaction Technique . . . . . . . . . . 397--403
Jacob Palme Experience from the Standardization of
the SIMULA Programming Language . . . . 405--409
David B. Wortman and
Philip J. Khaiat and
David M. Laskar Six PL/I Compilers . . . . . . . . . . . 411--422
P. J. Brown Throw-away Compiling . . . . . . . . . . 423--434
Helmut Hummel LEKTOR: A List-oriented,
Machine-independent Programming System
for Conversational Applications . . . . 447--463
Israel Gat and
Harry J. Saal Memoryless Execution: A Programmer's
Viewpoint . . . . . . . . . . . . . . . 463--471
Leon J. Osterweil and
Lloyd D. Fosdick DAVE: A Validation Error Detection and
Documentation System for Fortran
Programs . . . . . . . . . . . . . . . . 473--486
R. J. Cunningham and
C. G. Pugh A Language-independent System to Aid the
Development of Structured Programs . . . 487--503
James L. Elshoff A Numerical Profile of Commercial PL/I
Programs . . . . . . . . . . . . . . . . 505--525
D. Partridge and
E. B. James Compiling Techniques to Exploit the
Pattern of Language Use . . . . . . . . 527--539
B. J. Austin and
P. M. Ewens and
R. H. Hudson Linking a CYBER76 to a 3600 . . . . . . 541--553
Ben Schneiderman A Review of Design Techniques for
Programs and Data . . . . . . . . . . . 555--567
M. J. Coleman and
G. S. Godliman and
G. L. Leonard The Viscom --- A System of `Soft'
Video-terminals . . . . . . . . . . . . 569--576
R. Loeser and
E. M. Gaposchkin The Second Law of Debugging . . . . . . 577--578
Niklaus Wirth Modula: a Language for Modular
Multiprogramming . . . . . . . . . . . . 3--35
Niklaus Wirth The Use of Modula . . . . . . . . . . . 37--65
Niklaus Wirth Design and Implementation of Modula . . 67--84
John van Meurs and
Ernst Lopes Cardazo Interfacing the User . . . . . . . . . . 85--93
Robert B. K. Dewar and
A. P. McCann MACRO SPITBOL-a SNOBOL4 Compiler . . . . 95--113
H. Wettstein The Implementation of Synchronizing
Operations in Various Environment . . . 115--126
M. G. Richardson and
S. J. Hague The Design and Implementation of the NAG
Master Library File System . . . . . . . 127--137
H. S. Heaps and
T. Radhakrishnan Compaction of Diagnostic Messages for
Compilers . . . . . . . . . . . . . . . 139--144
Peter M. Neely On the Use of Integer Arithmetic to
Achieve Confirmably Correct Computation 159--163
Glenn H. MacEwen A Simulation Sequencing Algorithm . . . 165--172
Jan van den Bos and
Hendrik-Jan Thomassen COMLNK-a File Transport and Job Entry
Utility for a Communication Link . . . . 173--177
David R. Hanson Storage Management for an Implementation
of SNOBOL4 . . . . . . . . . . . . . . . 179--192
George O. Strawn Does APL Really Need Run-time Parsing 193--200
R. J. Botting Efficient Storage for Amorphous Data . . 201--203
I. S. Torsun and
S. K. Robinson Non-`Interpretive' FORTRAN Input/Output 205--213
Thomas Plum Fooling the User of a Programming
Language . . . . . . . . . . . . . . . . 215--221
N. Bernstein and
B. Knobe A Non-general-purpose Operating System 223--226
D. G. Colquhoun A Fast Approximation to the Sine
Function . . . . . . . . . . . . . . . . 227--229
J. S. Rohl Converting a Class of Recursive
Procedures into Non-recursive Ones . . . 231--238
Robert F. Rosin A Graphical Notation for Describing
System Implementation . . . . . . . . . 239--250
B. L. M. Wyvill PICTURES-68 MK1 . . . . . . . . . . . . 251--261
B. E. Carpenter and
R. W. Doran and
K. Hopper Non-recursive Recursion . . . . . . . . 263--269
Donal R. Innes Exploiting the Least Recently Used Page
Replacement Algorithm . . . . . . . . . 271--273
Zavid L. Lichtman Interpretation Control Using A Linear
Tree Representation . . . . . . . . . . 275--278
John R. White and
Richard K. Anderson Supporting the Structured Development of
Complex PL/I Software Systems . . . . . 279--293
S. K. Robinson and
I. S. Torsun Dynamic Analysis of Program Performance
(DAP) in a Fortran Batch Environment . . 307--315
B. A. Wichmann How to Call Procedures, or Second
Thoughts on Ackermann's Function . . . . 317--329
D. Holdsworth A Simple Network Interacting Program's
Executive (SNIPE) . . . . . . . . . . . 341--345
G Hunter and
M. Kuriyan and
A. Wallis The Advantages of Stream Output
Procedures over Format-dominated Record
Transmissions . . . . . . . . . . . . . 347--356
Patricia R. Mohilner Using Pascal in a Fortran Environment 357--362
Toney Storey and
Stephen Todd Performance Analysis of Large Systems 363--369
D. Colemen The Systematic Design of File-processing
Programs . . . . . . . . . . . . . . . . 371--381
L. R. Symes and
R. R. Oldehoeft Success and Failure Analysis of a
Problem Solving System Implementation 383--389
Urs Ammann On Code Generation in a PASCAL Compiler 391--423
Andrzej Ormicki Real-time BASIC for Laboratory Use . . . 435--443
Jaques Cohen and
Neal Carpenter A Language for Inquiring about the
Run-time Behaviour of Programs . . . . . 445--460
Peter Neely Implementation Independent Arithmetic:
Speculation for Discussion . . . . . . . 461--468
M. Howard Williams and
A. R. Bulmer Array Handling in Cobol Compilers . . . 469--474
B. M. Leavenworth Structured Debugging Using a Domain
Specific Language . . . . . . . . . . . 475--482
R. H. Perrott and
A. K. Raja Quasiparallel Tracing . . . . . . . . . 483--492
W. Morven Gentleman and
J. Ian Munro Designing Overlay Structures . . . . . . 493--500
N. E. Wiseman and
P. Robinson An Operating System for Interactive
Terminals . . . . . . . . . . . . . . . 501--510
John Fitch Profiling a Large Program . . . . . . . 511--533
P. J. Brown More on the Re-creation of Source Code
from Reverse Polish . . . . . . . . . . 545--551
Robert W. Witty Dimensional Flowcharting . . . . . . . . 553--584
Makoto Kobayshi A Set of Strategy-independent
Restructuring Algorithms . . . . . . . . 585--594
A. L. Hillman and
D. Schofield EDIT-an Interactive Network Service;
Design and Implementation . . . . . . . 595--611
A. M. Lister and
P. J. Sayer Hierarchical Monitors . . . . . . . . . 613--623
David R. Hanson RATSNO-An Experiment in Software
Adaptability . . . . . . . . . . . . . . 625--630
M. J. Rees and
A. W. Oppenheimer SOBS-An Incremental BASIC System . . . . 631--643
J. M. Craddock Planning the Software for a Personal
Research Contract . . . . . . . . . . . 645--653
O. Benediktsson Sequential File Processing in Fortran 655--659
Harvey Abramson and
Tom Rushworth and
Ted Venema TOSI: A Tree Oriented String Interpreter
for the Design and Implementation of
Semantics . . . . . . . . . . . . . . . 663--670
Malcolm P. Atkinson IDL: A Machine-independent Data Language 671--684
J. Welsh and
W. J. Sneeringer and
C. A. R. Hoare Ambiguities and Insecurities in Pascal 685--696
John Hammond BASIC-An Evaluation of Processing
Methods and a Study of some Programs . . 697--711
J. P. Fitch and
A. C. Norman Implementing LISP in a High-level
Language . . . . . . . . . . . . . . . . 713--725
Richard George Eliminate Flowchart Drawings . . . . . . 727--732
M. J. Shave The Simulation and Use of a TABLE Data
Type . . . . . . . . . . . . . . . . . . 733--745
Richard N. Fisher and
Gordon W. McQuarrie MPL1700: A High(er)-level
Microprogramming Language . . . . . . . 747--757
Kazuo Ushijima Step to an Efficient Program for
Floating-point Summation . . . . . . . . 759--769
Ian A. Macleod Design and Implementation of a Display
Oriented Text Editor . . . . . . . . . . 771--792
R. S. Scowen Some Aids for Program Documentation . . 779--792
Bertrand Meyer A Note on Computing Multiple Sums . . . 3--9
H. Gomaa The Calibration and Validation of a
Hybrid Simulation/Regression Model of a
Batch Computer System . . . . . . . . . 11--28
Eric Foxley and
D. J. Morgan Monitoring the Run-time Activity of
Algol 68-R Programs . . . . . . . . . . 29--34
Douglas Comer MOUSE4: An Improved Implementation of
the RATFOR Preprocessor . . . . . . . . 35--40
C. R. Snow An Exercise in the Transportation of an
Operating System . . . . . . . . . . . . 41--50
Harold W. Lawson, Jr. and
Miquel Bertran and
Javier Sanagustin The Formal Definition of Human/Machine
Communications . . . . . . . . . . . . . 51--58
T. Anderson and
S. K. Shrivastava Reliable Software: A Selective Annotated
Bibliography . . . . . . . . . . . . . . 59--76
Jacob Palme How I Fought with Hardware and Software
and Succeeded . . . . . . . . . . . . . 77--83
J. Welsh Economic Range Checks in Pascal . . . . 85--97
Arthur Pyster and
Amitava Dutta Error-checking Compilers and Portability 99--108
David R. Hanson Event Associations in SNOBOL4 for
Program Debugging . . . . . . . . . . . 115--129
Amnon M. Barak and
Moshe Aharoni A Study of Machine-level Software
Profile . . . . . . . . . . . . . . . . 131--136
W. Douglas Stirling The Use of a Procedure-oriented Language
for Process-oriented Simulation . . . . 137--148
Olivier Lecarme and
Marie-Claude Peyrolle-Thomas Self-compiling Compilers: An Appraisal
of their Implementation and Portability 149--170
Berthold K. P. Horn Rational Arithmetic for Minicomputers 171--176
S. K. Shrivastava Sequential Pascal with Recovery Blocks 177--185
John R. Wolberg and
Marshall Rafal CONVERT: A Language for Program and Data
File Conversions . . . . . . . . . . . . 187--198
M. J. R. Shave The Programming of Structural
Relationships in Dynamic Environments 199--211
Eric Foxley Programming Aids for the Teaching of
Programming . . . . . . . . . . . . . . 213--225
A. R. Lawrence SCRUB-Systematically Clean and Renumber
Users BASIC . . . . . . . . . . . . . . 227--232
Herbert D. Schwetman Job Scheduling in Multiprogrammed
Computer Systems . . . . . . . . . . . . 241--255
G. S. Wilson Threaded Code for Laboratory Computers 257--263
Malcolm P. Atkinson and
M. J. Jordan An Effective Program Development
Environment for BCPL on a Small Computer 265--275
Toshiaki Kurokawa Input/Output Facilities in LISP1.9 . . . 277--284
M. J. Jordan SLP: A Paged Processor for Compact Lists 285--300
John Leece and
Frank Parker Use and Misuse of SPSS . . . . . . . . . 301--311
W. P. Beaumont An Implementations of Reliable Systems 323--339
David Neal and
Virgil Wallentine Experiences with the Portability of
Concurrent PASCAL . . . . . . . . . . . 341--353
R. J. Cunningham and
J. Kramer An Exercise in Program Design Using
SIMULA Class Invariants . . . . . . . . 355--369
Jim Welch Structured Programming in Macro Assembly
Languages . . . . . . . . . . . . . . . 371--376
William E. Howden An Evaluation of the Effectiveness of
Symbolic Testing . . . . . . . . . . . . 381--397
Kari Johnsen A Simplification of Code Tables in a
One-pass PL/M Compiler . . . . . . . . . 399--405
Daniel P. Freidman and
David S. Wise Unbounded Computational Structures . . . 407--416
F. U. Mucke and
W. Trier Improvement of Relocatable Linkage
Editor (loader) Input . . . . . . . . . 417--419
P. H. Ng and
G. Young A 1900 FORTRAN Post Mortem Dump System 421--427
Robert D. Tennent Another Look at Type Compatibility in
Pascal . . . . . . . . . . . . . . . . . 429--437
Lars-Erik Thorelli A Monitor for Small Computers . . . . . 439--450
J. C. Adams and
W. S. Currie and
B. A. C. Gilmore The Structure and Uses of the Edinburgh
Remote Terminal Emulator . . . . . . . . 451--459
David Y. Feng and
Richard F. Riesenfeld A Symbolic System for Computer-aided
Development of Surface Interpolants . . 461--481
Andrew T. F. Hutt Data Mappings Again . . . . . . . . . . 483--493
Peter Freeman Software Design Representation: A Case
Study . . . . . . . . . . . . . . . . . 501--511
Peter Freeman Software Design Representation: Analysis
and Improvement . . . . . . . . . . . . 513--528
Uday G. Gujar and
David M. Fellows Implementation of a Computer Job
Scheduling Algorithm . . . . . . . . . . 529--542
James Sneeringer User-interface Design for Text Editing 543--557
J. Larmouth Scheduling for Immediate Turnround . . . 559--578
M. Howard Williams and
A. R. Bulmer Use of a Formal Notation for Static
Semantics in Compiler Design . . . . . . 579--584
C. R. Snow The Software Tools Project . . . . . . . 585--599
B. K. Haddon and
W. M. Waite Experience with the Universal
Intermediate Language Janus . . . . . . 601--616
R. E. Berry Experience with the Pascal P-Compiler 617--627
Nam Ng and
T. A. Marsland Introducing Graphics Capabilities to
Several High-level Languages . . . . . . 629--639
J. K. R. Barnett A Highly Reliable File System which
Supports Multiprocessing . . . . . . . . 645--672
P. Quittner and
D. Kotsis Comparison of Different Disk Searching
Methods . . . . . . . . . . . . . . . . 673--679
Andrew S. Tanenbaum and
Paul Klint and
Wim Bohm Guidelines for Software Portability . . 681--698
L. V. Atkinson and
J. J. McGregor CONA: A Conversational Algol System . . 699--708
Daniel Schwabe and
Carlos J. P. Lucena Design and Implementation of Data
Abstraction Definition Facility . . . . 709--719
Per Brinch Hansen Reproducible Testing of Monitor . . . . 721--729
Will D. Gillett and
Sandra Leach Embedding Semantics in LR Parser Tables 731--753
W. S. Bowie and
J. G. Linders A Software Trace Facility for OS/MVT . . 535--545
Brian W. Kernighan and
John R. Mashey The UNIX Programming Environment . . . . 1--15
Norwin Graef and
Horst Kretschmar and
Klaus-Peter Löhr and
Bernt Morawetz How To Design and Implement Small
Time-Sharing Systems Using Concurrent 17--24
D. A. Turner A New Implementation Technique for
Applicative Languages . . . . . . . . . 31--49
Sòren Lauesen Debugging Techniques . . . . . . . . . . 51--63
B. Ford and
J. Bentley and
J. J. Du Croz and
S. J. Hague The NAG Library `Machine' . . . . . . . 65--72
I. T. Parsons A Support System for Interactive
Languages . . . . . . . . . . . . . . . 73--86
Václav Chvaloský New Techniques for COBOL Programmers . . 87--95
M. Tratner A Fundamental Approach to Debugging . . 97--99
Chris D. Marlin A Heap-based Implementation of the
Programming Language Pascal . . . . . . 101--119
Christopher W. Fraser A Compact, Portable CRT-based Text
Editor . . . . . . . . . . . . . . . . . 121--125
William J. Tracz Computer Programming and the Human
Thought Process . . . . . . . . . . . . 127--137
Eli Spitz and
Asher Yuval Public Online Pool-A Method for Managing
Online Direct Access Space . . . . . . . 139--147
Douglas Jones and
A. B. Baskin and
Thomas Chen and
Louis Bloomfield Programs as Higher Level Subroutines . . 149--155
Andrew T. F. Hutt A Compiler Model for a Relational Data
Base Management System . . . . . . . . . 157--169
J. L. Schonfelder and
J. T. Thomason Arbitrary Precision Arithmetic in Algol
68 . . . . . . . . . . . . . . . . . . . 173--182
T. M. R. Ellis Parallel Processing in an Adaptable
Application Oriented Language Processor 183--190
J. W. Hughes A Formalization and Explication of the
Michael Jackson Method of Program Design 191--202
Douglas Comer MAP: A Pascal Macro Preprocessor for
Large Program Development . . . . . . . 203--209
Per Brinch Hansen and
Charles Hayden Microcomputer Comparison . . . . . . . . 211--217
J. J. Dongarra and
A. R. Hinds Unrolling Loops in FORTRAN . . . . . . . 219--226
M. Howard Williams Long/Short Address Optimization in
Assemblers . . . . . . . . . . . . . . . 227--235
V. W. Setzer Non-recursive Top-down Syntax Analysis 237--245
Stuart I. Feldman Make-A Program for Maintaining Computer
Programs . . . . . . . . . . . . . . . . 255--65
Alfred V. Aho and
Brian W. Kernighan and
Peter J. Weinberger Awk-A Pattern Scanning and Processing
Language . . . . . . . . . . . . . . . . 267--279
Frank G. Pagan A Highly-structured Interpreter for a
SNOBOL4 Subset . . . . . . . . . . . . . 281--312
A. W. Narwekar and
Abha Moitra Design of Software for Text Composition 313--323
A. W. Narwekar Design and Analysis of a Hyphenation
Procedure . . . . . . . . . . . . . . . 325--337
M. M. Al-Jarrah and
I. S. Torsun An Empirical Analysis of COBOL Programs 341--359
Andrew T. F. Hutt Organizing the Description of a
Relational Data Base . . . . . . . . . . 361--368
Charles H. Sauer and
E. A. MacNair Queueing Network Software for Systems
Modelling . . . . . . . . . . . . . . . 369--380
A. M. Addyman and
R. Brewer and
D. G. Burnett-Hall and
R. M. De Morgan and
W. Findlay and
M. I. Jackson and
D. A. Joslin and
M. J. Rees and
David A. Watt and
J. Welsh and
B. A. Wichmann A Draft Description of Pascal . . . . . 381--424
L. V. Atkinson Pascal Scalars as State Indicators . . . 427--431
P. J. Brown Macros without Tears . . . . . . . . . . 433--437
Reind P. van de Riet and
R. Wiggers Practice and Experience with BASIS: an
Interactive Programming System for
Introductory Courses in Informatics . . 463--476
T. M. R. Ellis A Useful Data-structuring Technique . . 477--484
Satoru Kawai Lattice Structure Segmentation of
ALGOL-like Programs . . . . . . . . . . 485--498
Roar A. Fjellheim A Message Distribution Technique and its
Application to Network Control . . . . . 499--505
M. Richards and
A. R. Aylward and
P. Bond and
R. D. Evans and
B. J. Knight TRIPOS: A Portable Operating System for
Mini-computers . . . . . . . . . . . . . 513--526
Martin Richards A Compact Function for Regular
Expression Pattern Matching . . . . . . 527--534
William S. Bowie and
J. G. Linders A Software Trace Facility for OS/MVT . . 535--545
John D. Gannon and
J. Rosenberg Implementing Data Abstraction Features
in a Stackbased Language . . . . . . . . 547--560
M. S. Powell Experience of Transporting and Using the
SOLO Operating system . . . . . . . . . 561--569
Richard L. Sites Resolving Ambiguous Identifiers . . . . 571--574
Dick Grune Choosing a Tag-list Algorithm for a
Compiler with Special Application to the
ALEPH Compiler . . . . . . . . . . . . . 575--593
G. R. Frank and
C. J. Theaker The Design of the MUSS Operating System 599--620
G. R. Frank and
C. J. Theaker MUSS-The User Interface . . . . . . . . 621--631
C. J. Theaker and
G. R. Frank MUSS: A Portable Operating System . . . 633--643
H. Barringer and
P. C. Capon and
R. Philips The Portable Compiling Systems of MUSS 645--655
C. J. Theaker and
G. R. Frank An Assessment of the MUSS Operating
System . . . . . . . . . . . . . . . . . 657--670
A. H. J. Sale Strings and the Sequence Abstraction in
Pascal . . . . . . . . . . . . . . . . . 671--690
L. V. Atkinson Should if\ldotsthen\ldotselse\ldots
Follow the Dodo? . . . . . . . . . . . . 693--700
John Lions Experiences with the UNIX Time-sharing
System . . . . . . . . . . . . . . . . . 701--709
Judy M. Bishop On Publication Pascal . . . . . . . . . 711--717
G. Papakonstantinou A Poor Man's Realization of Attribute
Grammars . . . . . . . . . . . . . . . . 719--728
Jòrn Jensen and
Sòren Lauesen and
A. P. Ravn Synchronization under a Commercial
Operating System . . . . . . . . . . . . 729--740
Jacob Palme A Human-Computer Interface for
Non-computer Specialists . . . . . . . . 741--747
K. T. Narayana and
V. R. Prasad and
M. Joseph Some Aspects of Concurrent Programmming
in CCNPASCAL . . . . . . . . . . . . . . 749--770
N. Natarajan and
M. K. Sinha Language Issues in the Implementation of
a Kernel . . . . . . . . . . . . . . . . 771--778
Judy M. Bishop Implementing Strings in Pascal . . . . . 779--788
Alfons F. Sanders and
Herbert L. Gelernter Data Metastructures . . . . . . . . . . 795--811
Helmut G. Stiegler A Structure for Access Control Lists . . 813--819
Arthur Sale Pascal Stylistics and Reserved Words . . 821--825
Derek Coleman and
Robin M. Gallimore and
J. W. Hughes and
M. S. Powell An Assessment of Concurrent Pascal . . . 827--837
Arthur Sale Implementing Strings in Pascal-Again . . 839--841
S. Panchapakesan and
H. Venkateswaran and
S. Subramanian Assemblers for Microcomputers . . . . . 843--852
I. C. Wand Systems Implementation Languages and
IRONMAN . . . . . . . . . . . . . . . . 853--878
John R. Wolberg and
Marshall Rafal Using Convert to Transform Source Code 881--890
H. R. Sethi and
D. H. Paul MPLOT3: A System-independent Plotting
Package . . . . . . . . . . . . . . . . 891--905
I. C. Pyle Input/Output in High Level Programming
Languages . . . . . . . . . . . . . . . 907--914
Arthur Sale Miniscules and Majuscules . . . . . . . 915--919
David R. Hanson A Simple Technique for Controlled
Communication Among Separately Compiled
Modules . . . . . . . . . . . . . . . . 921--924
Jean G. Vaucher Sequence Error Recovery Considered
Misleading . . . . . . . . . . . . . . . 925--929
Marek Machura Implementation of a Special-purpose
Language using Pascal Implementation
Methodology . . . . . . . . . . . . . . 931--945
J. Welsh and
D. W. Bustard Pascal-Plus-Another Language for Modular
Multiprogramming . . . . . . . . . . . . 947--957
B. M. Eaglestone and
N. J. Partington A Campus Network Based on ICL 2900
Series Protocol . . . . . . . . . . . . 959--967
Anders Lindgård P: A Timesharing Operating System for
Laboratory Automation . . . . . . . . . 971--986
Reginald Meeson and
Arthur Pyster Overhead in FORTRAN Preprocessors . . . 987--999
S. K. Shrivastava Concurrent Pascal with Backward Error
Recovery: Language Features and Examples 1001--1020
S. K. Shrivastava Concurrent Pascal with Backward Error
Recovery: Implementation . . . . . . . . 1021--1033
Mark Scott Johnson Translator Design to Support Run-time
Debugging . . . . . . . . . . . . . . . 1035--1041
J. Nehmer The Implementation of Concurrency for a
PL/I-like Language . . . . . . . . . . . 1043--1057
Ralph Griswold Linguistic Extension of Abstract Machine
Modelling to Aid Software Development 1--9
Satoru Kawai A Semiblock Structure for Low-level
Languages . . . . . . . . . . . . . . . 11--19
T. A. Marsland and
S. F. Sutphen A Heterogeneous Dual Processor . . . . . 21--28
Makato Arisawa and
Minoru Iuchi Debugging Methods in Recursive
Structured FORTRAN . . . . . . . . . . . 29--43
A. R. Gay Benchmarking a Multi-access System . . . 45--55
Philipp Hazel Development of the ZED Text Editor . . . 57--76
Rakesh Agarwal and
Samuel T. Chanson A Space-efficient Code Generation Scheme
for BCPL . . . . . . . . . . . . . . . . 77--95
David H. D. Warren Logic Programming and Compiler Writing 97--125
Harold Thimbleby Leave and Recall: Primitives for
Procedural Programming . . . . . . . . . 127--134
M. J. R. Shave Problems of Integrity and Distributed
Databases . . . . . . . . . . . . . . . 135--147
Masaaki Shimasaki and
Shigeru Fukaya and
Katsuo Ikeda and
Takeshi Kiyono An Analysis of Pascal Programs in
Compiler Writing . . . . . . . . . . . . 149--157
S. B. Verma and
Maithili Sharan Multiple Precision Floating-Point
Computation in FORTRAN . . . . . . . . . 163--173
T. R. Hopkins PBASIC: A Verifier for BASIC . . . . . . 175--181
Cary A. Coutant and
Christopher W. Fraser A Device Driver for Display Terminals 183--187
W. Pauli and
Mary Lou Soffa Coroutine Behaviour and Implementation 189--204
Sven E. Mattsson Implementation of Concurrent Pascal on
LSI-11 . . . . . . . . . . . . . . . . . 205--217
G. B. Cox and
B. C. Walsh A HELP System for the User Community . . 219--229
Steven Pemberton Comments on an Error-recovery Scheme by
Hartmann . . . . . . . . . . . . . . . . 231--240
B. J. Cornelius and
D. J. Robson and
M. I. Thomas Modification of the Pascal-P Compiler
for a Single-accumulator One-address
Minicomputer . . . . . . . . . . . . . . 241--246
James B. Morris Programming by Successive Refinement of
Data Abstractions . . . . . . . . . . . 249--263
Charles Wetherell Design Considerations for Array
Processing Languages . . . . . . . . . . 265--271
David M. Harland High Speed Data Acquisition: Running a
Realtime Process and a Time-shared
System (UNIX) Concurrently . . . . . . . 273--281
Ahmed Patel and
Michael Purser Systems Programming for Data
Communications on Minicomputers . . . . 283--305
I. C. Pyle Axioms for User-defined Operators . . . 307--318
W. T. Izatt Domain Architecture and the ICL 2900
Series . . . . . . . . . . . . . . . . . 319--328
D. R. McGregor and
J. R. Malone Stabdump-A Dump Interpreter Program to
Assist Debugging . . . . . . . . . . . . 329--332
David R. Barach and
David M. Fram NPP: An Easy to Implement Preprocessor
for Text Formatting . . . . . . . . . . 335--346
Martin P. Lee Bibliographic Manipulation . . . . . . . 347--354
D. D. Cowan and
J. W. Graham and
J. W. Welch and
Carlos J. P. Lucena A Data-directed Approach to Program
Construction . . . . . . . . . . . . . . 355--372
T. R. G. Green If s and Then s: Is Nesting just for the
Birds? . . . . . . . . . . . . . . . . . 373--381
Amnon B. Garak and
Amos Shapir UNIX with Satellite Processors . . . . . 383--392
Gordon Stevenson Code Generation with a Recursive
Optimizer . . . . . . . . . . . . . . . 393--403
Richard Hart Pattern Analysis as a Tool for Inventing
Algorithms . . . . . . . . . . . . . . . 405--417
Stephen R. Schach A Portable Trace for the Pascal Heap . . 421--426
Darrel C. Ince and
Keith Robson An Algol 68 Based Algebraic Manipulation
System . . . . . . . . . . . . . . . . . 427--430
P. J. Brown SUPERMAC: A Macro Facility that can be
Added to Existing Compilers . . . . . . 431--473
H. J. Boom and
E. de Jong A Critical Comparison of Several
Programming Language Implementations . . 435--473
H. J. Messerschmidt Parallel Programming for Chess Endgame
Database . . . . . . . . . . . . . . . . 475--487
David R. Hanson A Portable Storage Management System for
the Icon Programming Language . . . . . 489--500
R. Nigel Horspool Practical Fast Searching in Strings . . 501--506
V. R. Prasad Variable Number of Parameters in Typed
Languages . . . . . . . . . . . . . . . 507--517
P. Radford Checking Cyclic Pointers . . . . . . . . 519--521
J. G. Hunt Interrupts . . . . . . . . . . . . . . . 523--530
Alan Jay Smith Multiprogramming and Memory Contention 531--552
Jean G. Vaucher Pretty-Printing of Trees . . . . . . . . 553--561
John Q. Walker II Positioning Nodes For General Trees . . 553--561
F. E. J. Kruseman Aretz and
Jan L. A. van de Snepscheut and
H. Grasdijk and
J. M. H. Smeets SATHE: Some Aspects of an ALGOL
Implementation . . . . . . . . . . . . . 563--573
Hiroshi Muramatsu and
Hiroaki Negishi Page Replacement Algorithm for
Large-array Manipulation . . . . . . . . 575--587
J. Holden and
I. C. Wand An Assessment of Modula . . . . . . . . 593--621
David R. Hanson A Portable File Directory System . . . . 623--634
Peter Kornerup and
Bent Bruun Kristensen and
Ole Lehrmann Madsen Interpretation and Code Generation Based
on Intermediate Languages . . . . . . . 635--658
I. R. Wilson Pascal for School and Hobby Use . . . . 659--671
C. A. Lakos Implementing BCPL on the Borroughs B6700 673--683
R. M. McKeag and
P. Milligan An Experiment in Parallel Program Design 687--696
Jiri Hoppe A Simple Nucleus Written in Modula-2: A
Case Study . . . . . . . . . . . . . . . 697--706
J. G. P. Barnes The Standardization of RTL/2 . . . . . . 707--719
Elaine N. Frankowski and
W. R. Franta A Process Oriented Simulation Model
Specification and Documentation Language 721--742
R. J. Munn and
J. M. Stewart RATMAC: A Preprocessor for Writing
Portable Scientific Software . . . . . . 743--749
D. Schofield and
A. L. Hillman and
J. L. Rodgers MM/1, A Man-Machine Interface . . . . . 751--763
Ken Moody and
Martin Richards A Coroutine Mechanism for BCPL . . . . . 765--771
J. Kriz and
H. Sandmayr Extension of Pascal by Coroutines and
its Application to Quasi-parallel
Programming and Simulation . . . . . . . 773--789
J. M. Triance and
J. F. S. Yow Experiences with a Schematic Logic
Preprocessor . . . . . . . . . . . . . . 791--800
J. K. R. Barnett The Design of an Inter-task
Communication Scheme . . . . . . . . . . 801--816
Christopher W. Fraser Maintaining Program Variants by Merging
Editor Scripts . . . . . . . . . . . . . 817--821
Uday G. Gujar and
J. Anthony Fitzgerald An Algorithm for Programming
Electrostatic Plotter Type Devices . . . 823--833
Steven Harrington Infinite Power Series . . . . . . . . . 835--848
J. G. P. Barnes An Overview of Ada . . . . . . . . . . . 851--887
John D. Kerr FORALL: An Extensible Fortran System for
Conversationally Accessing Subroutine
Libraries . . . . . . . . . . . . . . . 889--896
Augusto Celentano and
Stefano Crespi-Reghizzi and
Pierluigi Della Vigna and
Carlo Ghezzi and
G. Granata and
F. Savoretti Compiler Testing using a Sentence
Generator . . . . . . . . . . . . . . . 897--918
J. L. Alty and
J. Coombs University Computing Advisory Services:
The Study of the Man-Computer Interface 919--934
Siegfried Wendt Modified Petri Nets as Flowcharts for
Recursive Program . . . . . . . . . . . 935--942
Per Brinch Hansen and
Jon Fellows The Trio Operating System . . . . . . . 943--948
E. B. James and
D. Ireland Microcomputers as Protective Interfaces
in Computing Networks . . . . . . . . . 953--958
John M. Dedourek and
Uday G. Gujar and
Marion E. McIntyre Scanner Design . . . . . . . . . . . . . 959--972
K. Sreenivasan and
G. A. Nelson and
J. A. Maksin, Jr. An Experimental Study of Relative
Throughput in a Multiprocessor Computer
System . . . . . . . . . . . . . . . . . 973--086
Jacob Palme A Viewdata Interface for Arbitrary
Computer Programs . . . . . . . . . . . 987--991
P. D. Stephens and
J. K. Yarwood and
D. J. Rees and
N. H. Shelness The Evolution of the Operating System
EMAS 2900 . . . . . . . . . . . . . . . 993--1008
R. G. Hamlet and
R. M. Haralick Transportable Package Software . . . . . 1009--1027
A. John Hurst Pascal-P, Program Structure and Program
Behaviour . . . . . . . . . . . . . . . 1029--1036
Marvin V. Zelkowitz A Case Study in Rapid Prototyping . . . 1037--1042
Mary Shaw and
Guy T. Almes and
Joseph M. Newcomer and
Brian K. Reid and
Wm. A. Wulf A Comparison of Programming Languages
for Software Engineering . . . . . . . . 1--52
Nadia Magnenat-Thalmann and
Daniel Thalmann A Graphical Pascal Extension Based on
Graphical Types . . . . . . . . . . . . 53--62
Gary D. Knott Procedures for Managing Extendible Array
Files . . . . . . . . . . . . . . . . . 63--84
M. Kronental and
J. W. Roberts and
K. H. Timmesfeld and
I. C. Wand The LTPL: E Tasking Proposals . . . . . 85--97
Siba N. Mohanty Software Cost Estimation . . . . . . . . 103--121
A. H. J. Sale Forward-declared Procedures,
Parameter-lists and Scope . . . . . . . 123--130
Bjarne Stroustrup `Long Return': A Technique for Improving
the Efficiency of Inter-module
Communication . . . . . . . . . . . . . 131--143
James P. Black and
David J. Taylor and
D. E. Morgan A Case Study in Fault Tolerant Software 145--157
Abraham Silberschatz On the Access-control Mechanism of the
Program Component Manager . . . . . . . 159--166
Peter J. L. Wallis Handling Type Information when Compiling
a Language with User-defined Types . . . 167--173
Martin L. Kersten and
Anthony I. Wasserman The Architecture of the PLAIN Data Base
Handler . . . . . . . . . . . . . . . . 175--186
Uday G. Gujar and
David M. Fellows FORTRAN Routines with Optional Arguments 187--193
C. C. Charlton and
P. H. Leng Editors: Two for the Price of One . . . 195--202
B. Negus and
M. J. Hunt and
J. A. Prentice DIALOG: A Scheme for the Quick and
Effective Production of Interactive
Applications Software . . . . . . . . . 205--224
Mark Rain The Structure of the MARY/2 Compiler . . 225--235
Arthur J. Bernstein and
J. R. Ensor A Modula Based Language Supporting
Hierarchical Development and
Verification . . . . . . . . . . . . . . 237--255
Jim Welsh and
Andrew Lister A Comparative Study of Task
Communication in Ada . . . . . . . . . . 257--290
P. Ancilotti and
N. Lijtmaer and
M. Boari and
A. Natali Linguistic Mechanisms for Resource
Management Strategies . . . . . . . . . 291--314
M. Banatre and
A. Couvert and
D. Herman and
M. Raynal An Experience in Implementing Abstract
Data Types . . . . . . . . . . . . . . . 315--320
Per Brinch Hansen Edison-a Multiprocessor Language . . . . 325--361
Per Brinch Hansen The Design of Edison . . . . . . . . . . 363--396
Per Brinch Hansen Edison Programs . . . . . . . . . . . . 397--414
P. G. Thomas and
B. E. Staff A Design Language for the Definition of
a Retrieval System Interface for Casual
Users of a Relational Database . . . . . 417--424
M. Lemoine and
J. Mullor Software Transferability: A Practical
Approach . . . . . . . . . . . . . . . . 425--433
W. Morven Gentleman Message Passing Between Sequential
Processes: the Reply Primitive and the
Administrator Concept . . . . . . . . . 435--466
M. A. MacLean and
J. E. L. Peck CHEF: a Versatile Portable Text Editor 467--477
J. E. L. Peck and
M. A. Maclean The Construction of a Portable Editor 479--489
R. H. Perrott and
P. S. Dhillon An Experiment with Fortran and Pascal 491--496
Peter Henderson and
Roger B. Gimson Modularization of Large Programs . . . . 497--520
D. W. Singer SCENARIOS: An Event Management Package 521--529
Paul S. Fisher and
Jacob Slonim Software Engineering: An Example of
Misuse . . . . . . . . . . . . . . . . . 533--539
Martin L. Griss and
Anthony C. Hearn A Protable LISP Compiler . . . . . . . . 541--605
Dalia Motzkin A Stable Quicksort . . . . . . . . . . . 607--611
Naveen Prakash and
P. N. Gejji Error Reporting and Recovery in Sangrah 613--621
Ravi Sethi Uniform Syntax for Type Expressions and
Declarators . . . . . . . . . . . . . . 623--628
Hans Lindstrom and
Jan Skansholm How to Make Your Own Simulation System 629--637
David Alex Lamb Construction of a Peephole Optimizer . . 639--647
G. A. Rose and
J. Welsh Formatted Programming Language . . . . . 649--670
Thoshiaki Kurokawa A New Fast and Safe Marking Algorithm 671--682
R. H. Perrott and
D. K. Stevenson Considerations for the Design of Array
Processing Languages . . . . . . . . . . 683--688
Geoffrey Hunter Partitioned and Prioritized Access to
Timesharing Services: the Reserved
Availability . . . . . . . . . . . . . . 689--696
Michael B. Feldman Data Abstraction, Structured
Programming, and the Practicing
Programmer . . . . . . . . . . . . . . . 697--710
K. Lunn and
K. H. Bennett Message Transport on the Cambridge Ring
--- a Simulation Study . . . . . . . . . 711--716
R. A. Freak A Fortran to Pascal Translator . . . . . 717--732
Richard L. Wexelblat The Consequences of One's First
Programming Language . . . . . . . . . . 733--740
A. W. Colijn A Note on the Multics Command Language 741--744
Leslie M. Goldschlager Recursion in Small Storage . . . . . . . 745--751
Darrel C. Ince Decision Tables in Algol 68 . . . . . . 753--756
Tomasz Kowaltowski Parameter Passing Mechanisms and Run
Time Data Structures . . . . . . . . . . 757--765
W. M. Waite and
Lynn Robert Carter An Analysis/Synthesis Interface for
Pascal Compilers . . . . . . . . . . . . 769--787
Peter J. L. Wallis Designing Storage Management Schemes for
Block-structured Languages . . . . . . . 789--801
J. S. Rohl Eliminating Recursion from Combinatoric
Procedures . . . . . . . . . . . . . . . 803--817
L. V. Atkinson and
S. D. North COPAS: A Conversational Pascal System 819--829
P. J. Brown Dynamic Program Building . . . . . . . . 831--843
Hannu Pohjanpalo MROS-68K, a Memory Resident Operating
System for MC6800H . . . . . . . . . . . 845--852
David R. Hanson Is Block Structure Necessary? . . . . . 853--866
R. R. Oldehoeft and
W. D. Ralph and
M. H. Tindall An Interactive Manager for Pascal
Software . . . . . . . . . . . . . . . . 867--873
R. S. Scowen A Survey of some Text Editors . . . . . 883--906
Martin Grayson RNFREE-Keyword Free-format Input . . . . 907--911
S. J. Young Improving the Structure of Large Pascal
Programs . . . . . . . . . . . . . . . . 913--927
Arthur Sale The Implementation of Case Statements in
Pascal . . . . . . . . . . . . . . . . . 929--942
D. R. McGregor and
J. R. Malone Design for a Robust, Simple and Highly
Reliable Filestore . . . . . . . . . . . 943--947
I. S. Torsun and
M. M. Al-Jarrah Dynamic Analysis of COBOL Programs . . . 949--961
Paul Klint Interpretation Techniques . . . . . . . 963--973
T. A. Cargill Full-screen Editing in a Hostile
Environment . . . . . . . . . . . . . . 975--981
Hasse Hansson and
Jòrgen Steensgaard-Madsen Document Preparation Systems . . . . . . 983--997
Richard Barnett and
Richard C. Beckwith The Community File Station . . . . . . . 1001--1008
G. K. Wood and
J. Larmouth Distributing Viewdata and Teletext
Services to a User Community . . . . . . 1009--1017
Eric S. Roberts and
Arthur Evans, Jr. and
C. Robert Morgan and
Edmund M. Clarke Task Management in Ada-A Critical
Evaluation for Real-time Multiprocessors 1019--1051
Hanan Samet Experience with Software Conversion . . 1053--1069
J. Larmouth Fortran 77 Portability . . . . . . . . . 1071--1117
Donald E. Knuth and
Michael F. Plass Breaking Paragraphs into Lines . . . . . 1119--1184
W. D. Shepherd Ancilla: A Server for the Cambridge
Model Distributed System . . . . . . . . 1185--1195
George Logothetis and
Prateek Mishra Compiling short-circuit Boolean
expressions in one pass . . . . . . . . 1197--1214
T. J. Roper and
Chris J. Barter A Communicating Sequential Process
Language and Implementation . . . . . . 1215--1234
N. H. Madhavji and
I. R. Wilson Dynamically Structured Data . . . . . . 1235--1260
Mordechai Ben-Ari Cheap Concurrent Programming . . . . . . 1261--1264
Richard J. Orgass Files in an Interactive Environment . . 1265--1271
Tung Yun Mei LCCD, A Language for Chinese Character
Design . . . . . . . . . . . . . . . . . 1273--1292
Frank M. Brown Design of a MUMPS Interpreter . . . . . 1293--1297
A. C. Kilgour Generalized non-Recursive Traversal of
Binary Trees . . . . . . . . . . . . . . 1299--1306
Tan Watanabe and
Tsuneharu Ohsawa and
Hisao Kuma and
Wakunaga Tsukada Micro MUMPS: An Interactive Database
Language for Micro-Computers . . . . . . 1307--1314
J. D. Bishop and
G. J. Smith Experiences with a Status Database . . . 1315--1329
Jòrgen Steensgaard-Madsen Modular Programming with Pascal . . . . 1331--1337
Brian W. Kernighan PIC: A Language for Typesetting Graphics 1--21
James J. McGregor Backtrack Search Algorithms and the
Maximal Common Subgraph Problem . . . . 23--34
Alan L. Tharp and
Kuo-Chung Tai The Practicality of Text Signatures for
Accelerating String Searching . . . . . 35--44
Jon M. Kerridge A FORTRAN implementation of Concurrent
Pascal . . . . . . . . . . . . . . . . . 45--55
G. de V. Smit A Comparison of Three String Matching
Algorithms . . . . . . . . . . . . . . . 57--66
I. Trotter Hardy, Jr. The syntax of interactive command
languages: a framework for design . . . 67--75
Robert L. Glass Real-time checkout: the ``source error
first'' approach . . . . . . . . . . . . 77--83
B. R. Dunman and
Stephen R. Schach and
Peter T. Wood A mainframe implementation of Concurrent
Pascal . . . . . . . . . . . . . . . . . 85--89
P. J. Brown ``My system gives excellent error
messages''--or does it? . . . . . . . . 91--94
O. P. Brerenton Performance figures for message-passing
over a Cambridge Ring . . . . . . . . . 95--96
M. Bersohn On the removal of two major obstacles to
a linear flow of inspection in a program 96--98
Paul J. Jalics On the Performance of COBOL Programs in
Large vs. Mini Computers . . . . . . . . 103--114
W. P. Dodd An assessment of a new technique for the
representation of Boolean matrices . . . 115--139
Dipayan Gangopadhyay A Framework for Modelling Graphic
Interactions . . . . . . . . . . . . . . 141--151
Jacob Palme Uses of the SIMULA Process Concept . . . 153--161
R. A. Frost and
M. M. Peterson A Function for Generating Nearly
Balanced Binary Search Trees from Sets
of Non-random Keys . . . . . . . . . . . 163--168
John L. Hennessy and
Hilding Elmquist The design and implementation of
parametric types in PASCAL . . . . . . . 169--184
Anthony Q. Baxter and
Johnson M. Hart Software Segmented Virtual Memory . . . 185--194
Robert P. Cook and
Insup Lee A contextual analysis of PASCAL programs 195--203
A. I. Hinxman and
Austin Tate Parsing an Extension to CODASYL FORTRAN
DML . . . . . . . . . . . . . . . . . . 205--209
A. P. Ravn Pointer Variables in Concurrent Pascal 211--222
Jòrgen Staunstrup Message Passing Communication Versus
Procedure Call Communication . . . . . . 223--234
Richard I. Cowderoy and
Peter J. L. Wallis The Transfer of a BCPL Compiler to the
Z80 Microcomputer . . . . . . . . . . . 235--239
Christopher W. Fraser A Programmable Text Editor . . . . . . . 241--250
Ralph E. Griswold A Tool to Aid in the Installation of
Complex Software Systems . . . . . . . . 251--267
Michael J. Heffler Description of a Menu Creation and
Interpretation System . . . . . . . . . 269--281
Yung H. Tsin Extending the power of PASCAL's external
procedure mechanism . . . . . . . . . . 283--292
Willem Maarten Witsel Meta: A Language System for Bitslice
Applications . . . . . . . . . . . . . . 297--308
H. Gomaa and
J. Lui and
P. Woo The Software Engineering of a
Microcomputer Application System . . . . 309--321
Richard Artym The STAB Multiprocessing Environment for
CYBA-M . . . . . . . . . . . . . . . . . 323--329
Brig Elliott A high-level debugger for PL/I, FORTRAN
and BASIC . . . . . . . . . . . . . . . 331--340
A. J. Cole and
Ronald Morrison Triplex: A System for Interval
Arithmetic . . . . . . . . . . . . . . . 341--350
Christopher W. Fraser and
David R. Hanson A Machine-Independent Linker . . . . . . 351--366
Christopher W. Fraser and
David R. Hanson Exploiting Machine-Specific Pointer
Operations in Abstract Machines . . . . 367--373
Brig Elliott Design of a Simple Screen Editor . . . . 375--384
Robert D. Tennent Two Examples of Block Structuring . . . 385--392
T. Lang Another Program for Drawing Diagrams . . 397--404
A. Smith and
D. H. Bell A Multiprogramming System for a
Microcomputer . . . . . . . . . . . . . 405--410
C. K. Yip Implementation of a CORAL66 Programming
Environment . . . . . . . . . . . . . . 411--431
Narain H. Gehani Specifications: Formal and Informal ---
A Case Study . . . . . . . . . . . . . . 433--444
H. S. M. Kruijer A multi-user operating system for
transaction processing, written in
Concurrent Pascal . . . . . . . . . . . 445--454
O. K. Ferstl and
E. J. Sinz Designing structured COBOL programs . . 455--474
Gregory R. Andrews An Alternative Approach to Arrays . . . 475--485
M. Howard Williams A System to Assist Survey Analysts . . . 487--491
J. F. Leathrum A Design Medium for Software . . . . . . 497--503
W. O. Covington, Jr. and
Richard L. Wexelblat A Test Data Synthesizer for Telephone
Company Accounting Office Processing of
Call Data . . . . . . . . . . . . . . . 505--516
Ian Sommerville A Pattern Matching System . . . . . . . 517--530
T. Lang and
J. P. Newbury and
D. E. P. Watkins Experiences in Benchmarking for the
Selection of an Interactive System . . . 531--542
Bruce W. Leverett and
Peter G. Hibbard An Adaptive System for Dynamic Storage
Allocation . . . . . . . . . . . . . . . 543--555
Bernice E. Casey and
B. Dasarathy Modelling and Validating the Man-Machine
Interface . . . . . . . . . . . . . . . 557--569
L. V. Atkinson Optimizing two-state case statements in
PASCAL . . . . . . . . . . . . . . . . . 571--581
R. P. A. Collinson The Cambridge ring and UNIX . . . . . . 583--594
H. Gomaa The Design and Calibration of a
Simulation Model of a Star Computer
Network . . . . . . . . . . . . . . . . 599--610
Michael Levison A Programmable Text-editing System . . . 611--621
A. J. Fisher The Syntax of User-defined Dyadic
Operators . . . . . . . . . . . . . . . 623--625
A. C. Fleck Verifying Abstract Data Types with
SNOBOL4 . . . . . . . . . . . . . . . . 627--640
John Wilkes HADES: A Command Environment that
Supports Structure . . . . . . . . . . . 641--654
D. J. Rees and
P. D. Stephens The Kernel of the EMAS 2900 Operating
System . . . . . . . . . . . . . . . . . 655--667
Douglas Comer and
Vincent Yun Shen Hash-Bucket Search: A Fast Technique for
Searching an English Spelling Dictionary 669--682
Stephen R. Schach A Unified Theory for Software Production 683--689
Pavel Kaiser and
Ivan Stetina A Dialogue Generator . . . . . . . . . . 693--707
D. J. M. Davies String Searching in Text Editors . . . . 709--717
Gregory R. Andrews The distributed programming language SR:
mechanisms, design and implementation 719--753
J. A. Hall A Microprogrammed P-CODE Interpreter for
the Data General Eclipse S/130
Minicomputer . . . . . . . . . . . . . . 755--765
Ronald Morrison Low Cost Computer Graphics for Micro
Computers . . . . . . . . . . . . . . . 767--776
Anna Hac Computer system simulation in PASCAL . . 777--784
Olivier Lecarme and
Mireille Pellissier and
Marie-Claude Thomas Computer-aided Production of Language
Implementation Systems: A Review and
Classification . . . . . . . . . . . . . 785--824
Richard J. Leblanc and
Charles N. Fischer A case study of run-time errors in
Pascal programs . . . . . . . . . . . . 825--834
Josef S. Ottmann DASD sharing in DOS/VSE . . . . . . . . 835--844 (or 835--842??)
J. Alan Hunter and
Nigel F. Hall A Network Screen Editor Implementation 845--856
A. F. Dawson and
M. J. Coombs and
J. L. Alty How to Improve Computer Advisory
Services . . . . . . . . . . . . . . . . 857--878 (or 857--877??)
John L. Hennessy and
Noah Mendelsohn Compilation of the Pascal \tt case
statement . . . . . . . . . . . . . . . 879--882
B. T. Sewell A Rapid Lookup Table Method for
Trigonometric Functions . . . . . . . . 885--888 (or 887?)
Joe Celko Time Token Design Methodology . . . . . 889--895
J. P. Newbury Immediate turnround: an elusive goal . . 897--906 (or 897--895??)
Douglas Comer and
Keith Williamson An alternative to Young's module
facility for Pascal . . . . . . . . . . 907--913
André M. Van Tilborg Executing Large Graphics Programs with a
Small Computer . . . . . . . . . . . . . 915--927
David Beech Modularity of Computer Languages . . . . 929--958
G. R. Brookes and
I. R. Wilson and
A. M. Addyman A static analysis of Pascal program
structures . . . . . . . . . . . . . . . 959--963
T. A. Cargill A Robust Distributed Solution to the
Dining Philosophers Problem . . . . . . 965--969
Paul R. McMullin and
John D. Gannon and
Mark D. Weiser Implementing a Compiler-Based Test Tool 971--979
J. Gait An algorithm for an efficient command
interpreter . . . . . . . . . . . . . . 981--982
M. Mezzalama and
P. Prinetto A Machine-independent Approach to
Microprogram Synthesis . . . . . . . . . 985--1010
Bjarne Stroustrup An Experiment with the
Interchangeability of Processes and
Monitors . . . . . . . . . . . . . . . . 1011--1025
R. Allen Akin and
Richard J. Leblanc The Design and Implementation of a Code
Generation Tool . . . . . . . . . . . . 1027--1041
John R. Wolberg A Costing Model for Software Conversions 1043--1049
Carl N. R. Dellar A File Server for a Network of Low Cost
Personal Microcomputers . . . . . . . . 1051--1068
Douglas Comer The Flat File System FFG: A Database
System Consisting of Primitives . . . . 1069--1079
R. J. M. Hughes A semi-incremental garbage collection
algorithm . . . . . . . . . . . . . . . 1081--1084
Robert H. Dodds, Jr. and
Daniel R. Rehak and
Leonard A. Lopez Development Methodologies for Scientific
Software . . . . . . . . . . . . . . . . 1085--1100
N. J. Fiddian Meta-Assembly: A Fresh Assessment . . . 1101--1117
Ian H. Witten and
Mike Bonham and
Evelyne Strong On the Power of Traps and Diversions in
a Document Preparation Language . . . . 1119--1131
John Levine An overview of the Yale Gem system . . . 1133--1145
David R. Brownbridge and
L. F. Marshall and
B. Randell The Newcastle connection or UNIXes of
the world unite! . . . . . . . . . . . . 1147--1162
J. J. Gerritse A note on extension of Pascal by
subroutines . . . . . . . . . . . . . . 1163--1167
J. M. Sachs and
S. K. Burns STOIC, an Interactive Programming System
for Dedicated Computing . . . . . . . . 1--16
David A. Workman GRASP: A Software Development System
Using D-Charts . . . . . . . . . . . . . 17--32
M. Jegado Recoverability Aspects of a Distributed
File System . . . . . . . . . . . . . . 33--44
Gordon S. Blair and
John A. Mariani and
W. D. Shepherd A Practical Extension to UNIX for
Interprocess Communication . . . . . . . 45--58
C. C. Charlton and
P. H. Leng Aids for Pragmatic Error Detection . . . 59--66
T. J. King and
J. K. M. Moody The Design and Implementation of CODD 67--78
Han Noot Structured Text Formatting . . . . . . . 79--94
D. R. Hanson A portable input/output system . . . . . 95--100
S. C. Mathewson User Acceptance: Design Considerations
for a Program Generator . . . . . . . . 101--117
Kai Koskimies and
Kari-Jouko Räihä Modelling of Space-efficient one-pass
Translation using Attribute Grammars . . 119--129
Robert A. Day Typesetting Mathematics on Multi-Access
Systems . . . . . . . . . . . . . . . . 131--138
Bjarne Stroustrup Adding Classes to the C Language: An
Exercise in Language Evolution . . . . . 139--161
Prabhaker Mateti A Specification Schema for Indenting
Programs . . . . . . . . . . . . . . . . 163--179
Art Lew Decision Tables for General-purpose
Scientific Programming . . . . . . . . . 181--188
Michael Levison Editing Mathematical Formulae . . . . . 189--195
Prabhaker Mateti and
Joxan Jaffar A Correctness Proof of an Indenting
Program . . . . . . . . . . . . . . . . 199--226
Anders Lindgård and
Jòrgen Oxenbòll and
Ejvind Sòrensen Hierarchical Multi-Level Computer
Network for Laboratory Automation . . . 227--240
D. J. Robson An Evaluation of Throw-away Compiling 241--249
Rondall E. Jones and
David K. Kahaner XERROR, the SLATEC Error-handling
Package . . . . . . . . . . . . . . . . 251--257
Malcolm P. Atkinson and
Ken J. Chisholm and
W. Paul Cockshott and
Richard Marshall Algorithms for a Persistent Heap . . . . 259--271
Malcolm P. Atkinson and
Ken J. Chisholm and
W. Paul Cockshott CMS: A Chunk Management System . . . . . 273--285
Douglas Comer The Costs and Benefits of Lazy
Interactive Input in Pascal . . . . . . 287--293
P. J. Brown and
J. A. Ogden The SUPERMAC Macro Processor in Pascal 295--304
R. H. Perrott and
D. Crookes and
P. Milligan The Programming Language ACTUS . . . . . 305--322
A. Wilk and
W. Silverman OPTIMA: A Portable PCODE Optimizer . . . 323--354
R. J. Whiddett Dynamic Distributed Systems . . . . . . 355--371
J. N. Oliveira and
I. R. Wilson An Analysis of Microcomputer
Implementation of Pascal . . . . . . . . 373--384
P. A. Lee Exception Handling in C Programs . . . . 389--405
David Holdsworth A System for Analysing Ada Programs at
Run-time . . . . . . . . . . . . . . . . 407--421
Václav Chvaloský Decision Tables . . . . . . . . . . . . 423--429
G. Haring and
O. Schechtner On the Realization of Extended Control
Structures in FORTRAN . . . . . . . . . 431--445
W. Robert Collins and
Robert E. Noonan and
Samuel T. Gregory and
John C. Knight and
Roy W. Hamm Comprehensive Tools for Assembler
Construction . . . . . . . . . . . . . . 447--451
Lloyd Allison Syntax Directed Program Editing . . . . 453--465
D. L. Fisher Global Variables Versus Local Variables 467--469
Páe Quittner Efficient Combination of Index Tables
and Hashing . . . . . . . . . . . . . . 471--478
Narain H. Gehani An electronic form system: an experience
in prototyping . . . . . . . . . . . . . 479--486
Tsunetoshi Hayashi A Program Structuring Preprocessor for a
Macro Assembly Language . . . . . . . . 487--494
Stephen B. Wampler and
Ralph E. Griswold The Implementation of Generators and
Goal-directed Evaluation in Icon . . . . 495--518
Ian H. Witten and
Brian Wyvill On the Generation and Use of
Space-filling Curves . . . . . . . . . . 519--525
D. Barton Distributed Processing in a Small Office 527--536
Paul B. Schneck The Myth of Virtual Memory . . . . . . . 537--543
B. Hansche Improving overlay handlers . . . . . . . 545--548
Jacob Katzenelson Introduction to Enhanced C (EC) . . . . 551--576
Jacob Katzenelson Higher Level Programming and Data
Abstractions-A Case Study Using Enhanced
C . . . . . . . . . . . . . . . . . . . 577--595
Jaroslav Nadrchal and
Ivan Sklenár and
Václav Kriz and
Jaroslav Král An implementation of ALGOL 68 for a
small computer . . . . . . . . . . . . . 597--660
L. M. Patnaik and
Phule Shailendra and
K. Venkateswara Rao Access Path Query Language for
Relational Database Systems . . . . . . 661--670
Susan L. Graham and
Peter B. Kessler and
Marshall K. McKusick An Execution Profiler for Modular
Programs . . . . . . . . . . . . . . . . 671--685
Darrel C. Ince A Software Tool for Top-down Programming 687--695
Richard N. Taylor An Integrated Verification and Testing
Environment . . . . . . . . . . . . . . 697--713
Douglas W. Jones Assembly Language as Object Code . . . . 715--725
C. A. Witschorik The Real-Time Debugging Monitor for the
Bell System 1A Processor . . . . . . . . 727--743
David R. Hanson Simple Code Optimizations . . . . . . . 745--763
S. Atkins and
B. Knight Experiences with coroutines in BCPL . . 765--769
G. J. B. Allan Correct programs? . . . . . . . . . . . 768--769
Wilf R. Lalonde and
John R. Pugh A simple technique for converting from a
PASCAL shop to a C shop . . . . . . . . 771--775
Mark D. Apperley and
R. Spence Hierarchical Dialogue Structures in
Interactive Computer Systems . . . . . . 777--790
J. R. Malone Implementation of a Retrospective
Tracing Facility . . . . . . . . . . . . 791--796
Nadia Magnenat-Thalmann and
Daniel Thalmann MIRA-3D: A Three-Dimensional Graphical
Extension of Pascal . . . . . . . . . . 797--808
John C. Cavouras Implementing a Simulation Tool in a
High-Level Language with no Multitasking
Facilities . . . . . . . . . . . . . . . 809--815
Floyd Sykes and
Raymund T. Tillman and
Ben Shneiderman The Effect of Scope Delimiters on
Program Comprehension . . . . . . . . . 817--824
Mehdi T. Harandi An Experimental COBOL Restructuring
System . . . . . . . . . . . . . . . . . 825--846
M. C. Pong and
N. Ng PIGS: A System for Programming with
Interactive Graphical Support . . . . . 847--855
V. Murali and
R. K. Shyamasundar A sentence generator for a compiler for
PT, a PASCAL subset . . . . . . . . . . 857--869
John R. Ellis and
Nathaniel Mishkin and
Mary-Claire Van Leunen and
Steven R. Wood Tools: An Environment for Time-Shared
Computing and Programming . . . . . . . 873--892
John C. Knight and
Douglas D. Dunlop On the Design of a Special-purpose
Scientific Programming Language . . . . 893--907
C. C. Charlton and
K. C. Mander Tools and Techniques for Teaching
Microprocessor Software Development . . 909--920
M. C. Er Optimizing Procedure Calls and Returns 921--939
Jed Marti The Little META Translator Writing
System . . . . . . . . . . . . . . . . . 941--959
M. Clint and
R. Perrott and
C. Holt and
A. Stewart The Influence of Hardware and Software
Considerations on the Design of
Synchronous Parallel Algorithms . . . . 961--974
Allan Ramsay A Distributed Programming Assistant . . 983--992
Lu Ru Quian and
Wei Zi Chu An Assessment of the XR Project for
Compiler Development and Transportation 993--1004
Vincent West An Optimizer for a Relational Database
Command Language . . . . . . . . . . . . 1005--1012
D. J. Robson Towards a Conversational
Language-Sensitive System for Pascal . . 1013--1017
R. James Cunningham and
Silvana Zappacosta-Amboldi Software Tools for First-Order Logic . . 1019--1025
J. H. Williamson Incremental Back-up Procedures . . . . . 1027--1031
Hugo J. Strubbe Kernel for a Responsive and Graphical
User Interface . . . . . . . . . . . . . 1033--1042
Steve Cook Playing Cards on the PERQ: An Algorithm
for Overlapping Rectangles . . . . . . . 1043--1053
R. H. Davis and
A. J. Bathgate A Zilog Z8000 Disassembler . . . . . . . 1055--1073
Gordon Bull and
Alan Lewis Real-time BASIC . . . . . . . . . . . . 1075--1092
J. W. Hughes and
M. S. Powell DTL: A Language for the Design and
Implementation of Concurrent Programs as
Structured Networks . . . . . . . . . . 1099--1112
J. W. Hughes and
M. S. Powell The Implementation of DTL . . . . . . . 1113--1128
D. Crookes and
R. Fee and
V. Pickering Building Syntax Graphs from Syntax
Equations: A Case Study in Modular
Programming . . . . . . . . . . . . . . 1129--1139
P. J. Layzell and
J. M. Triance Syntax driven COBOL compilers: an
assessment . . . . . . . . . . . . . . . 1141--1155
Arthur J. Karshmer and
Dirk J. Depree and
James Phelan The New Mexico State University
Ring-Star System: A Distributed UNIX
Environment . . . . . . . . . . . . . . 1157--1168
J. Oliver The Necessity for Accurate
Compiler-provided Routines when
Evaluating Special Functions . . . . . . 1169--1174
P. H. Welch Parallel Assignment Revisited . . . . . 1175--1180
A. J. Cole A Note on Space Filling Curves . . . . . 1181--1189
J. M. McCaig FUMBLR: A Pascal Program for
Initializing Memory . . . . . . . . . . 1191--1200
Jon M. Kerridge and
Dan Simpson Three Solutions for a Robot Arm
Controller Using Pascal-Plus, occam and
Edison . . . . . . . . . . . . . . . . . 3--15
Leif Ibsen A Portable Virtual Machine for Ada . . . 17--29
Willy Zwaenepoel and
Keith A. Lantz Perseus: retrospective on a portable
operating system . . . . . . . . . . . . 31--48
W. P. Cockshott and
Malcolm P. Atkinson and
K. J. Chisholm and
P. J. Bailey and
Ronald Morrison Persistent Object Management System . . 49--71
Jürg Gutknecht and
Werner Winiger Andra: The Document Preparation System
of the Personal Workstation Lilith . . . 73--100
C. K. Yip The Pascal graphics system . . . . . . . 101--118
P. W. E. Verhelst and
N. F. Verster PEP: an interactive programming system
with an ALGOL-like programming language 119--133
Ronald Williamson and
Ellis Horowitz Concurrent Communication and
Synchronization Mechanisms . . . . . . . 135--151
Martin L. Kersten and
Hans Tebra Application of an Optimistic Concurrency
Control Method . . . . . . . . . . . . . 153--168
G. Vörös Calculation of Co-ordinates for Optimal
Hatching . . . . . . . . . . . . . . . . 169--176
Bengt Nordström and
Åke Wikström The design of an interactive program
development system for Pascal . . . . . 177--190
M. G. Wyatt A Shorthand Preprocessor for IDMS COBOL 191--194 (or 191--193??)
Frank G. Pagan Toward Complete Programming Language
Descriptions that are both Formal and
Understandable . . . . . . . . . . . . . 199--206
H. Rex Hartson Implementation of Predicate-based
Protection in MULTISAFE . . . . . . . . 207--234
Paul A. Bailes and
Antonio Salvadori A Semantically-based Formatting
Discipline for Pascal . . . . . . . . . 235--251
Bernard Henin and
Daniel Couprie and
Pierre Douspis A LIS Compiler for GCOS-7 . . . . . . . 253--261
M. R. Woodward The Application of Halstead's Software
Science Theory to Algol 68 Programs . . 263--276
Daniel Thalmann An Interactive Data Visualization System 277--290
Ravi Sethi Preprocessing Embedded Actions . . . . . 291--297
Michael Purser and
Chris Horn and
John Sheehan The PHS Protocol . . . . . . . . . . . . 299--310
R. Posch and
G. Haring Allocating Computer Resources to Satisfy
User and Management Demands . . . . . . 311--322 (or 311--321??)
Joseph L. Steffen Experience with a Portable Debugging
Tool . . . . . . . . . . . . . . . . . . 323--334
Cynthia A. Brown and
Paul Walton Purdom, Jr. A Methodology and Notation for Compiler
Front End Design . . . . . . . . . . . . 335--346
Mahadevan Ganapathi and
Charles N. Fisher Attributed Linear Intermediate
Representations for Retargetable Code
Generators . . . . . . . . . . . . . . . 347--364
Sape J. Mullender and
Andrew S. Tanenbaum Immediate Files . . . . . . . . . . . . 365--368
A. J. Fischer Guarded and Unguarded Coroutines: an
Implementation in BCPL . . . . . . . . . 369--376
P. Heine and
F. Kaiser An economical implementation of the high
level real-time language PEARL on
microcomputers: Intel RMX86-PEARL . . . 377--382
Bo Einarsson and
W. Morven Gentleman Mixed Language Programming . . . . . . . 383--396 (or 383--395??)
J. W. Mincy and
A. L. Tharp Processing variable-length abbreviations 397--398
M. Ancona and
Leila De Floriani and
G. Dodero and
S. Mancosu Integrating library modules into Pascal
programs . . . . . . . . . . . . . . . . 401--412
Narain H. Gehani and
T. A. Cargill Concurrent Programming in the Ada
Language: The Polling Bias . . . . . . . 413--427
Jòrgen Lindskov Knudsen Exception Handling: A Static Approach 429--449
R. M. McKeag and
Ann Eves and
E. J. Rooney Designing Software for Children . . . . 451--461
Z. J. Ciechanowicz and
A. C. De Weever The `completeness' of the Pascal test
suite . . . . . . . . . . . . . . . . . 463--471
Daniel R. Perkins and
Dennis Volper UCSD Pascal on the VAX, Portability and
Performance . . . . . . . . . . . . . . 473--482
G. Pfeiffer A Flexible Command Generation Technique
for Application in Dialogue Systems . . 483--489
J. S. Briggs Two implementations of the Ada program
library . . . . . . . . . . . . . . . . 491--500
Thomas W. Christopher Reference Count Garbage Collection . . . 503--507
R. Geoff Dromey Exploiting Partial Order with Quicksort 509--518
Elena Barcucci and
Gianluca Pelacani A Software Development System Based on a
Macroprocessor . . . . . . . . . . . . . 519--531
Gill Ringland Software Engineering in a Development
Group . . . . . . . . . . . . . . . . . 533--559
Sallie M. Henry and
Dennis G. Kafura The Evaluation of Software Systems'
Structure Using Quantitative Software
Metrics . . . . . . . . . . . . . . . . 561--573
Kim Walden Automatic Generation of Make
Dependencies . . . . . . . . . . . . . . 575--585
J. E. M. Hamilton The Design of an Interactive Graphics
System for the Display of Meteorological
Fields . . . . . . . . . . . . . . . . . 587--600
David C. Luckham and
Friedrich W. von Henke and
H. J. Larsen and
D. R. Stevenson ADAM: an Ada-based language for
multiprocessing . . . . . . . . . . . . 605--642
Anders Ardö and
Lars Philipson Implementation of a Pascal Based
Parallel Language for a Multiprocessor
Computer . . . . . . . . . . . . . . . . 643--657
B. W. Marsden A STandard Pascal Event Simulation
Package . . . . . . . . . . . . . . . . 659--684
Giorgio Bruno Using Ada for discrete event simulation 685--695
Anna Hac PL/I as a Discrete Event Simulation Tool 697--702
B. J. Cornelius and
I. R. Lowman and
D. J. Robson Steady-State Compilers . . . . . . . . . 705--709
M. Clint and
C. Vicent The Use of Ghost Variables and Virtual
Programming in the Documentation and
Verification of Programs . . . . . . . . 711--737
James L. Johnson Anatomy of an Educational Network
Database System . . . . . . . . . . . . 739--754
James R. Cordy Compile-time detection of aliasing in
Euclid programs . . . . . . . . . . . . 755--768
M. Elizabeth C. Hull and
R. M. McKeag A General Approach to Queuing in C. S. P 769--773
B. L. Marks Taming the PL/I Syntax . . . . . . . . . 775--789
Ariel Pashtan and
Elizabeth A. Unger Resource Monitors: A Design Methodology
for Operating Systems . . . . . . . . . 791--806
Anne D. Wilson Programs to Process Trees, Representing
Program Structures and Data Structures 807--816
Ian Sommerville and
D. J. Smith An Electronic Secretary . . . . . . . . 817--825
John T. Robinson Separating Policy from Correctness in
Concurrency Control Design . . . . . . . 827--844
J. C. Huang and
Melody Ho and
Ted Law A Simulator for Real-Time Software
Debugging and Testing . . . . . . . . . 845--855
Jack W. Davidson and
Christopher W. Fraser Register Allocation and Exhaustive
Peephole Optimization . . . . . . . . . 857--865
Kuo-Cheng Li and
Herbert D. Schwetman Implementing a scaler C compiler on the
Cyber 205 . . . . . . . . . . . . . . . 867--888
I. C. Pyle Transducers are Type-converters . . . . 889--899
B. E. Carpenter and
Robert Cailliau Experience with Remote Procedure Calls
in a Real-time Control System . . . . . 901--907
Jose Felipe Contla Compact Coding of Syntax Tables . . . . 909--919
Philip Leith Top-Down Design Within a Functional
Environment . . . . . . . . . . . . . . 921--930
P. Corsini and
G. Frosini and
Lanfranco Lopriore Distributing and Revoking Access
Authorizations on Abstract Objects: A
Capability Approach . . . . . . . . . . 931--943
Manuel Reimer Implementation of the database
programming language Modula/R on the
personal computer Lilith . . . . . . . . 945--956
D. Crookes and
J. W. G. Elder An Experiment in Language Design for
Distributed Systems . . . . . . . . . . 957--971
David M. Harland and
Hamish I. E. Gunn Polymorphic Programming I. Another
Language Designed on Semantic Principles 973--997
L. R. Nackman and
R. H. Taylor A hierarchical exception handler binding
mechanism . . . . . . . . . . . . . . . 999--1003
W. A. Harrison Applying McCabe's complexity measure to
multiple-exit programs . . . . . . . . . 1004--1007
J. B. Ju and
K. D. Baker Implementing a File Transfer Protocol
between PDP11 and PRIME 550 Computers 1009--1019
Hamish I. E. Gunn and
David M. Harland Polymorphic Programming II. An
Orthogonal Tagged High Level
Architecture Abstract Machine . . . . . 1021--1046
J. K. Doyle and
K. I. Mandelberg A Portable PDP-11 Simulator . . . . . . 1047--1059
Y. Tsujino and
M. Ando and
T. Araki and
N. Tokura Concurrent C: A Programming Language for
Distributed Multiprocessor Systems . . . 1061--1078
G. Valdorf Dedicated, Distributed and Portable
Operating Systems: a Structuring Concept 1079--1093
Michael Spenke and
Heinz Mühlenbein and
Monika Mevenkamp and
Friedemann Mattern and
Christian Beilken A Language Independent Error Recovery
Method for LL(1) Parsers . . . . . . . . 1095--1107
D. G. Parkyn and
N. J. Pilbeam The direct mapping of the
entity-relationship model . . . . . . . 1109--1110
M. E. Dewey QS: a Tool for General Data Input . . . 1113--1121
Thomas J. LeBlanc and
Robert H. Gerber and
Robert P. Cook The StarMod Distributed Programming
Kernel . . . . . . . . . . . . . . . . . 1123--1139
H. F. R. Arciszewski and
E. M. Van Gasteren P/CL: a flexible input processor . . . . 1141--1148
Mark Rain Avoiding trickle-down recompilation in
the Mary2 implementation . . . . . . . . 1149--1157
D. C. Ince A Source Code Control System Based on
Semantic Nets . . . . . . . . . . . . . 1159--1168
Emanuel Derman and
Christopher J. Van Wyk A Simple Equation Solver and its
Application to Financial Modelling . . . 1169--1181
Robert I. Winner and
L. B. Reed Operating System Support for Sharing
Writable Control Store . . . . . . . . . 1183--1196
J. Barrie Bresnahan and
David T. Barnard and
Ian A. Macleod WSH: A New Command Interpreter for UNIX 1197--1205
R. Geoff Dromey Program Development by Inductive
Stepwise Refinement . . . . . . . . . . 1--28
R. Geoff Dromey Forced Termination of Loops . . . . . . 29--39
Dale H. Grit and
James R. McGraw Programming Divide and Conquer for a
MIMD Machine . . . . . . . . . . . . . . 41--53
A. Perko On Implicit Data Structures for Priority
Queues . . . . . . . . . . . . . . . . . 55--57
S. Panchapakesan and
S. Subramanian and
H. Venkateswaran An Interactive Assembly Level Debugging
System . . . . . . . . . . . . . . . . . 59--64
Philip Leith An IKBS Implementation . . . . . . . . . 65--86
Kirby W. Fong The NMFECC Cray Time-Sharing System . . 87--103
Gordon Lyon Structural Dimensions of Small
Programming Environments . . . . . . . . 105--117
Geoffrey George and
James F. Leathrum Orthogonality of Concerns in Module
Closure . . . . . . . . . . . . . . . . 119--130
Rob Pike and
Bart Locanthi and
John Reiser Hardware/Software Trade-offs for Bitmap
Graphics on the Blit . . . . . . . . . . 131--151
Thomas A. Cargill Implementation of the Blit Debugger . . 153--168
William F. Appelbe and
Klaus Hansen A Survey of Systems Programming
Languages: Concepts and Facilities . . . 169--190
Uday G. Gujar and
Frank W. L. So A Flexible Software Character Generator 191--218
Philip Wadler A Simple Language is also a Functional
Language . . . . . . . . . . . . . . . . 219
W. M. Waite and
Lynn Robert Carter The Cost of a Generated Parser . . . . . 221--237
Colin Stirling Follow Set Error Recovery . . . . . . . 239--257
L. N. Lester and
H. A. Thelander A SIMULA Program to Automate Wire-wrap
Schedule Generation . . . . . . . . . . 259--268
Eberhard Bertsch Optimization of Expression Syntax: an
Experimental Approach . . . . . . . . . 269--276
S. Saxena and
J. A. Field Portable Real-Time Software for $8$-bit
Microprocessors . . . . . . . . . . . . 277--303
M. I. Jackson Developing Ada Programs Using the Vienna
Development Method (VDA) . . . . . . . . 305--318
E. A. Onibere Writing Portable Fortran Programs for
Microcomputer . . . . . . . . . . . . . 321--326
Harald Ganzinger and
Walter Willmertinger FOAM: A Two-Level Approach to Text
Formatting on a Microcomputer System . . 327--341
Tomaoo Nakamura and
Katsuo Ikeda and
Yoshihiko Ebihara and
Masafumi Nishikawa Network Management in a Local Computer
Network . . . . . . . . . . . . . . . . 343--358
N. H. White and
K. H. Bennett Run-time Diagnostics in Pascal . . . . . 359--367
B. S. Carter NEWLONG: A Program for Manipulation of
Data on Populations of Individuals
Subject to Change . . . . . . . . . . . 369--377
Paul A. Bailes A Low-Cost Implementation of Coroutines
for C . . . . . . . . . . . . . . . . . 379--395
M. G. Cox Topic Libraries for Mathematical
Computation . . . . . . . . . . . . . . 397--411
J. M. Dubery and
A. J. Pinches Software for an Air Pollution Measuring
System: an Application of Modula . . . . 413--422
György E. Révész A Note on Macro Generation . . . . . . . 423--426
P. W. Garratt and
G. G. Michaelson Analysis and Design for a Standard
Transport Protocol . . . . . . . . . . . 427--438
Richard A. Kemmerer and
Steven T. Eckman UNISEX: A UNIX-based Symbolic EXecutor
for Pascal . . . . . . . . . . . . . . . 439--458
John C. Knight and
James L. Russel Software Development Tools for
Microcontrollers . . . . . . . . . . . . 459--472
H. R. Bruestle and
D. M. Snider and
K. D. Russel and
H. D. Stewart ISDMS: A Scientific Data Management
System . . . . . . . . . . . . . . . . . 473--487
Frank J. Dudinsky and
Richard C. Holt and
Safwat G. Zaky SRE: A Syntax Recognizing Editor . . . . 489--497
M. C. Er Practical Considerations of Global and
Local Variables . . . . . . . . . . . . 499--502
R. Nigel Horspool and
André Scheunemann Automating the Selection of Code
Templates . . . . . . . . . . . . . . . 503--514
Mark Weiser CWSH: The Windowing Shell of the
Maryland Window System . . . . . . . . . 515--519
R. E. M. Cooper and
Bruce J. McKenzie and
R. Harries Extensions to a Microcoded Pascal
Compiler . . . . . . . . . . . . . . . . 519--522
Hugo T. Jankowitz and
Paul W. Kilfoil and
Ilana Rabkin and
Stephen R. Schach A Portable High-level Database Debugger
and Software Performance Monitor . . . . 523--538
Jason Gait A Debugger for Concurrent Programs . . . 539--554
Narain H. Gehani ADA's derived types and units of measure 555--569
R. E. M. Cooper On squeezing the UNIX quart into a Data
General Eclipse pint pot . . . . . . . . 571--581
D. C. Ince A program design language based software
maintenance tool . . . . . . . . . . . . 583--594
D. Bailey The University of Salford LISP/PROLOG
system . . . . . . . . . . . . . . . . . 595--609
A. J. Cowling and
J. J. McGregor HANDIN: A System for Helping with the
Teaching of Programming . . . . . . . . 611--622
Jose Felipe Contla Compact Coding of Syntactically Correct
Source Programs . . . . . . . . . . . . 625--636
Walter F. Tichy RCS: A System for Version Control . . . 637--654
M. C. Newey and
W. M. Waite The Robust Implementation of
Sequence-Controlled Iteration . . . . . 655--668
W. F. Clocksin Implementation Techniques for Prolog
Databases . . . . . . . . . . . . . . . 669--675
Teruo Hikita and
Kiyoshi Ishihata A Method of Program Transformation
between Variable Sharing and Message
Passing . . . . . . . . . . . . . . . . 677--692
Silvano Gai and
Marco Mezzalama Dynamic Storage Allocation: Experiments
Using the C Language . . . . . . . . . . 693--704
J. D. Pryce Experiences with Writing Library
Software for an Attached Processor . . . 705--714
T. A. Marsland Management of Block-structured Programs 715--723
Amnon Barak and
Ami Litman MOS: A Multicomputer Distributed
Operating System . . . . . . . . . . . . 725--737
Ken H. Sears and
Alan E. Middleditch Software concurrency in real-time
control systems: a software nucleus . . 739--759
J. R. Parker A General Character to Integer
Conversion Method . . . . . . . . . . . 761--766
David Budgen Combining MASCOT with MODULA-2 to aid
the engineering of real-time systems . . 767--793
KG. H. Allen and
S. Perry A VLSI Interactive Layout Editor (VILRE) 795--806
Simon L. Peyton Jones YACC in SASL --- an exercise in
functional programming . . . . . . . . . 807--820
Robert D. Tennent A Comparison of the ANSI and ISO Pascal
Word Standards . . . . . . . . . . . . . 821--822
J. C. Van Vliet and
H. M. Gladney An Evaluation of Tagging . . . . . . . . 823--837
David M. Harland Towards a Language for Concurrent
Processes . . . . . . . . . . . . . . . 839--888
R. J. Dakin and
B. R. Lederer and
K. R. Parker A Large Scale Network Storage Facility 889--899
Amnon Barak and
Amnon Shiloh A Distributed Load-balancing Policy for
a Multicomputer . . . . . . . . . . . . 901--913
Michael J. Rees and
David J. Robson Video-Slide: A Presentation Aid for the
BBC Microcomputer . . . . . . . . . . . 915--923
S. Sitharama Iyengar and
Hsi Chang Efficient Algorithms to Create and
Maintain Balanced and Threaded Binary
Search Trees . . . . . . . . . . . . . . 925--941
Hong-Tai Chou and
David J. DeWitt and
Randy H. Katz and
Anthony C. Klug Design and Implementation of the
Wisconsin Storage System . . . . . . . . 943--962
R. De Bruin and
C. G. Van Der Laan The Creation of a Virtual NAG-Algol 68
Program Library . . . . . . . . . . . . 963--972
J. A. Anyanwu A Reliable Stable Storage System for
UNIX . . . . . . . . . . . . . . . . . . 973--990
A. D. Vella Compilers --- Some Good, Some Bad! . . . 991--996
Marc C. Lobelle Integration of Diskless Workstations in
UNIX United . . . . . . . . . . . . . . 997--1010
Paul A. Bailes DDA --- A Data Definition Facility for
UNIX Using Awk . . . . . . . . . . . . . 1011--1020
Robert L. Bernstein Producing good code for the case
statement . . . . . . . . . . . . . . . 1021--1024
Webb Miller and
Eugene W. Myers A File Comparison Program . . . . . . . 1025--1040
N. H. White and
K. H. Bennett PRTDS --- A Pascal Run-Time Diagnostics
System . . . . . . . . . . . . . . . . . 1041--1056
M. Woodman and
D. C. Ince A Software Tool for the Construction and
Maintenance of Structured Analysis
Notation . . . . . . . . . . . . . . . . 1057--1072
Edward T. Smith A Debugger for Message-based Processes 1073--1086
A. J. Wellings and
G. M. Tomlinson and
D. Keeffe and
I. C. Wand The PULSE Distributed File System . . . 1087--1101
C. R. Jesshope and
M. J. Crawley and
G. L. Lovegrove An intelligent Pascal editor for a
graphical oriented workstation . . . . . 1103--1119
W. M. Waite Treatment of Tab Characters by a
Compiler . . . . . . . . . . . . . . . . 1121--1123
Gordon S. Blair and
Jon R. Malone and
John A. Mariani A Critique of UNIX . . . . . . . . . . . 1125--1139
Derek Partridge Specifications and an implementation of
the type-ambiguity problem in Pascal . . 1141--1158
M. Ancona and
A. Clematis and
G. Dodero and
A. Pino A High Level Language Based System for
Cross-Assembler Definition . . . . . . . 1159--1184
Christoph M. Hoffmann and
Michael J. O'Donnell and
Robert I. Strandh Implementation of an Interpreter for
Abstract Equations . . . . . . . . . . . 1185--1204
C. M. Hoffman and
M. J. O'Donnell and
R. I. Strandh Implementation of an interpreter for
abstract equations . . . . . . . . . . . 1204--1185
David R. Hanson Compact Recursive-descent Parsing of
Expressions . . . . . . . . . . . . . . 1205--1212
Zavid L. Lichtman The Function of T and NIL in LISP . . . 1--3
A. J. Fisher A New Algorithm for Generating Hilbert
Curves . . . . . . . . . . . . . . . . . 5--12
David A. Watt Executable Semantic Descriptions . . . . 13--43
I. A. Horton and
S. J. Turner Using coroutines in Pascal . . . . . . . 45--61
Jon M. Kerridge and
Dan Simpson Communicating Parallel Processes . . . . 63--86
R. R. Patel and
R. B. Hunter Implementing ALGOL 68 Predicates . . . . 87--97
David G. Foster Separate Compilation in a Modula-2
Compiler . . . . . . . . . . . . . . . . 101--106
J. A. Anyanwu and
L. F. Marshall A Crash Resistant UNIX File System . . . 107--118
A. G. Middleton Routines: An Argument against the
Conventional Approach to Functions and
Procedures . . . . . . . . . . . . . . . 119--130
Ian Sommerville and
R. Welland and
I. Bennett and
R. Thomson SOFTLIB: A Documentation Management
System . . . . . . . . . . . . . . . . . 131--143
Kai Li and
Paul Hudak A New List Compaction Method . . . . . . 145--163
M. G. Khayat Printing Arabic text using dot matrix
printers . . . . . . . . . . . . . . . . 165--172
Jay Ramanathan and
Charley Shubra Template Design for File Processing
Applications . . . . . . . . . . . . . . 173--182
Barton P. Miller and
Cathryn Macrander and
Stuart Sechrest A Distributed Programs Monitor for
Berkeley UNIX . . . . . . . . . . . . . 183--200
D. J. Cooke and
F. Abdollahzadeh Insecurities in FORTRAN DO-loops . . . . 201--216 (or 201--215??)
Richard R. Ragan CONTEXT: An On-line Documentation System 217--224
Jason Gait A Probe Effect in Concurrent Programs 225--233
R. J. Lunbeck File Updating Revisited . . . . . . . . 235--241
Stephen R. Schach and
Peter T. Wood An Almost Path-free Very High-level
Interactive Data Manipulation Language
for a Microcomputer-based Database
System . . . . . . . . . . . . . . . . . 243--268
Jyrki Katajainen and
Martti Penttonen and
Jukka Teuhola Syntax-directed Compression of Program
Files . . . . . . . . . . . . . . . . . 269--276
A. Linton and
F. Panzieri A Communication System Supporting Large
Datagrams on a Local Area Network . . . 277--289
P. J. Brown Interactive Documentation . . . . . . . 291--299
Theo de Ridder Coroutines for C Reconsidered . . . . . 301--302
T. Pedersen Process Administration in a High Level
Language . . . . . . . . . . . . . . . . 303--333
Kenneth Forsythe and
Stanislaw Matwin Copying of Dynamic Structures in a
Pascal Environment . . . . . . . . . . . 335--340
Alan Burns and
J. A. Kirkham The Construction of Information
Management System Prototypes in Ada . . 341--350
Ronald Morrison and
Alfred L. Brown and
P. J. Bailey and
A. J. T. Davie and
Alan Dearle A Persistent Graphics Facility for the
ICL PERQ . . . . . . . . . . . . . . . . 351--367
Christopher J. Van Wyk AWK as Glue for Programs . . . . . . . . 369--388
A. M. M. Al-Hussaini and
R. G. Stone Yet Another Storage Technique for LR
Parsing Tables . . . . . . . . . . . . . 389--401
J. G. Griffiths An Algorithm for Displaying a Class of
Space-filling Curves . . . . . . . . . . 403--411
I. A. Newman Processing Variable Length
Abbreviations: Some Observations . . . . 413--423
F. Tuynman and
L. O. Hertzberger A Distributed Real-time Operating System 425--441
David J. Taylor and
James P. Black Experimenting with Data Structures . . . 443--456
P. D. Terry A Modula-2 kernel for supporting
monitors . . . . . . . . . . . . . . . . 457--472
W. M. Waite The Cost of Lexical Analysis . . . . . . 473--488
Dan C. Marinescu Inter-process Communication in MVS/XA
and Applications for Scientific and
Engineering Information Processing . . . 489--501
Bruce I. Blum Iterative Development of Information
Systems: A Case Study . . . . . . . . . 503--515
Michael W. Brown Integrating Distributed Array Processing
into EMAS 2900 . . . . . . . . . . . . . 517--529
P. D. Stephens and
J. K. Yarwood Providing Multi-Users Access to
Distributed Array Processors . . . . . . 531--539
Ken-Chih Liu A String Pattern Matching Extension to
Pascal and Some Comparisons with SNOBOL4 541--548
R. F. Coombs A Management System for Dirty Data . . . 549--558
J. A. B. Palmer A Fortran Procedure for Drawing Some
Space-filling Curves . . . . . . . . . . 559--574
G. Davies and
S. Bowsher Algorithms for Pattern Matching . . . . 575--601
Mark Woodman Formatted Syntaxes and Modula . . . . . 605--625
E. Kantorowitz and
H. Laor Automatic Generation of Useful Syntax
Error Messages . . . . . . . . . . . . . 627--640
Robert L. Bernstein Multiplication by Integer Constants . . 641--652
Evan Adams and
Steven S. Muchnick Dbxtool: A Window-Based Symbolic
Debugger for Sun Workstations . . . . . 653--669
Synnove Vassiliades and
Michael D. Sayers and
Jean M. Bacon A Monitor Tool for a Network Based on
the Cambridge Ring . . . . . . . . . . . 671--687
S. Krogdahl and
K. A. Olsen Ada, as Seen from Simula . . . . . . . . 689--700
A. Fantechi and
P. Invarardi and
N. Lijtmaer Using High Level Languages for Local
Computer Network Communication: A Case
Study in Ada . . . . . . . . . . . . . . 701--717
M. Howard Williams and
I. M. Pattison and
J. C. Neves Reorganization in a Simple Database
System . . . . . . . . . . . . . . . . . 719--729
Michael E. Dewey TBFLP: A Simple Preprocessor for Tables 731--738
Seppo Linnainmaa Icecream, Transportable Software for
Creating Fiendly Human Interfaces . . . 739--750
Peter G. Clayton A Code Generator Synthesizer for the
Non-specialist . . . . . . . . . . . . . 751--760
Wolfgang A. Halang Suitable Multiprocessor Structures and
Virtual Storage Management when Applying
a Feasible Scheduling Algorithm in Hard
Real-Time Environment . . . . . . . . . 761--769
O. P. Brereton Management of Replicated Files in a UNIX
Environments . . . . . . . . . . . . . . 771--780
Paul B. Schneck Superlinear Speed-Up and the Halting
Problem . . . . . . . . . . . . . . . . 781--782
Richard Bornat A Protocol for Generalized occam . . . . 783--799
V. P. Heuring The Automatic Generation of Fast Lexical
Analysers . . . . . . . . . . . . . . . 801--808
Webb Miller and
Eugene W. Myers Side-effects in Automatic File Updating 809--820
Narain H. Gehani and
William D. Roome Concurrent C . . . . . . . . . . . . . . 821--844
M. Elizabeth C. Hull and
G. Donnan Contextually Communicating Sequential
Processes: A Software Engineering
Environment . . . . . . . . . . . . . . 845--864
David A. Carrington Profiling under ELXSI UNIX . . . . . . . 865--873
A. J. Fisher A Multi-processor Implementation of
occam . . . . . . . . . . . . . . . . . 875--892
A. Norris-Sherborn and
W. J. Milne A Practical Approach to Data Modelling
in Spatial Applications . . . . . . . . 893--913
Mordechai Ben-Ari FOREET: A Tool for Design and
Documentation of Fortran Programs . . . 915--924
Guy Lapalme and
Suzanne Chapleau Logicon: An Integration of Prolog into
Icon . . . . . . . . . . . . . . . . . . 925--944
Robert D. Gaglianello and
Howard P. Katseff Communications in Meglos . . . . . . . . 945--963
Mel Slater Segments on Bit-mapped Graphics Displays 965--980
R. Geoff Dromey An Algorithm for The Selection Problem 981--986
T. H. Merrett and
Ted van Rossum A Functional Processor for the
Relational Algebra on a Microcomputer 987--1002
Ali Mili and
Wang Xiao-Yang and
Yu Qing Specification Methodology: An Integrated
Relational Approach . . . . . . . . . . 1003--1030
C. R. Snow and
H. Whitfiel An Experiment with the Newcastle
Connection Protocol . . . . . . . . . . 1031--1043
P. Anstey Computing Advice at a Distance: the
`Remote Advisory' Concept . . . . . . . 1045--1052
A. Cantoni and
L. Kleeman Three Way Branching Self Consistency
Checking of Hardware and Software . . . 1053--1054
Jeffrey C. Huskamp A Modular Operating System for the
CRAY-1 . . . . . . . . . . . . . . . . . 1059--1076
Sivarama P. Dandamudi and
Paul G. Sorenson Algorithms for BD Trees . . . . . . . . 1077--1096
A. N. Walker The Ilem Project: Pascal to Algol in
Easy Stages I: Outward Bound . . . . . . 1097--1107
Jiri Hoppe Another Approach to the Implementation
of Synchronization Primitives . . . . . 1109--1116
R. D. Dowsing and
M. T. Sanderson Writing Concurrent Assemblers---A Case
Study in Path Pascal . . . . . . . . . . 1117--1135
John S. Gourlay A language for music printing . . . . . 388--401
H. W. Glasner and
P. Thompson Lazy Garbage Collection . . . . . . . . 1--4
John B. Smith and
Stephen F. Weiss Formatting Texts Accessed Randomly . . . 5--16
Tsunetoshi Hayashi Transporting TEX into the HITAC VOS3
Environment . . . . . . . . . . . . . . 17--28
Per Brinch Hansen Joyce --- A Programming Language for
Distributed Systems . . . . . . . . . . 29--50
Peter Honeyman and
Patricia E. Parseghian Parsing Ambiguous Addresses for
Electronic Services . . . . . . . . . . 51--60
Lawrence A. Rowe and
Michael Davis and
Eli Messinger and
Carl Mayer and
Charles Spirakis and
Allen Tuan A Browser for Directed Graphs . . . . . 61--76
Jacob Katzenelson and
Avy Strominger Debugging Programs that use
Macro-Oriented Data Abstractions . . . . 79--103
Paul Walton Purdom, Jr. and
Cynthia A. Brown Tree Matching and Simplification . . . . 105--115
Gregory Butler and
Matthew J. Kendall The Suitability for Master/Slave
Concurrency of Concurrent Euclid, Ada
and Modula . . . . . . . . . . . . . . . 117--134
M. Roper and
P. Smith A Structural Testing Method for JSP
Designed Programs . . . . . . . . . . . 135--157
J. C. Huang A Depth-first and Tool-supportable
Programming Strategy . . . . . . . . . . 159--163
K. G. Kulkarni and
Malcolm P. Atkinson Implementing an extended functional data
model using PS-Algol . . . . . . . . . . 171--185
Yuval Lirov and
Nissim Daunov An Integrated Data Dictionary to
Facilitate Automatic Report Generation
in a Network Database . . . . . . . . . 187--195
Jòrgen Born Rasmussen and
Bill Appelbe Real-time Interrupt Handling in Ada . . 197--213
Marek Gondzio Microprocessor Debugging Techniques and
Their Application in Debugger Design . . 215--226
Fun Ting Chan and
Tsong Yueh Chen AIDA: A Dynamic Data Flow Anomaly
Detection System for Pascal Programs . . 227--239
M. S. Powell Strongly Typed User Interfaces in an
Abstract Data Store . . . . . . . . . . 241--266
Per Brinch Hansen A Joyce Implementation . . . . . . . . . 267--276
Barton P. Miller and
David L. Presotto and
Michael L. Powell DEMOS/MP: The Development of a
Distributed Operating System . . . . . . 277--290
Anders Ardö Experience Acquiring and Retargeting a
Portable Ada Computer . . . . . . . . . 291--307
Ariel Pashtan A Prolog Implementation of an
Instruction-level Processor Simulator 309--318
J. van Katwijk Addressing types and objects in Ada . . 319--343
Manfred Weber Operating-system Enhancements for a
Fault-tolerant Dual-processor Structure
for the Control of an Industrial Process 345--350
Harold Thimbleby The Design of a Terminal Independent
Package . . . . . . . . . . . . . . . . 351--367
R. Nigel Horspool and
Michael R. Levy Mkscan --- A Interactive Scanner
Generator . . . . . . . . . . . . . . . 369--378
Jon Fairbairn Making Form Follow Function: An Exercise
in Functional Programming Style . . . . 379--386
Robert Cole A Method for Interconnecting
Heterogeneous Computer Networks . . . . 387--397
Toshinori Munakata and
D. Yun Yeh Multiple Stack Performance Near
Saturation . . . . . . . . . . . . . . . 399--411
R. Nigel Horspool and
Gordon V. Cormack Hashing as a Compaction Technique for LR
Parser Tables . . . . . . . . . . . . . 413--416
Andrew W. Appel and
Kenneth J. Supowit Generalization of the Sethi-Ullman
Algorithm for Register Allocation . . . 417--421
D. G. Kourie The Design and Use of a Prolog Trace
Generator for CSP . . . . . . . . . . . 423--438
J. S. Briggs Generating Reversible Programs . . . . . 439--453
M. K. Crowe Dynamic Compilation in the Unix
Environment . . . . . . . . . . . . . . 455--467
Jürg Gutknecht One-pass Compilation at its Limits --- A
Modula-2 Compiler for the Xerox Dragon
Computer . . . . . . . . . . . . . . . . 469--484
Eric Foxley Music --- A Language for Typesetting
Music Scores . . . . . . . . . . . . . . 485--502
Stephen C. Dewhurst Flexible Symbol Table Structures for
Compiling C++ . . . . . . . . . . . . . 503--512
C. F. Reynolds The Use of Colour in Language Syntax
Analysis . . . . . . . . . . . . . . . . 513--519
W. R. Van Biljon and
D. A. Sewry and
M. A. Mulders Register Allocation in a Pattern
Matching Code Generator . . . . . . . . 521--531
J. G. Hughes and
Michelle Connolly A Portable Implementation of a Modular
Multiprocessing Database Programming
Language . . . . . . . . . . . . . . . . 533--546
Rafael D. Lins On the Efficiency of Categorical
Combinators as a Rewriting System . . . 547--559
M. A. Broom and
T. R. Hopkins The Implementation and Use of Toolpack/1
on a Graphics Workstation . . . . . . . 561--573
Susan Stepney and
Stephen P. Lord Formal Specification of an Access
Control System . . . . . . . . . . . . . 575--593
Philip Wadler Fixing some Space Leaks with a Garbage
Collector . . . . . . . . . . . . . . . 595--608
Pieter W. M. Koopman Interactive Programs in a Functional
Language: A Functional Implementation of
an Editor . . . . . . . . . . . . . . . 609--622
Frans van Hoeve and
Rolf Engmann An Object-oriented Approach to
Application Generation . . . . . . . . . 623--645
J. D. Bovey A Debugger for a Graphical Workstation 647--662
R. H. Perrott and
Adib Zarea-Aliabadi A Supercomputer Program Development
System . . . . . . . . . . . . . . . . . 663--683
Chris S. McDonald fsh --- A Functional UNIX Command
Interpreter . . . . . . . . . . . . . . 685--700
William I. Bullers, Jr. A Processing Algorithm for Master-Detail
Records in a Relational Database . . . . 701--717
J. R. Cowie A Direct Access Technique for Sequential
Files with Variable Length Records . . . 719--728
Matt Bishop Profiling Under UNIX by Patching . . . . 729--739
N. D. Gammage and
R. F. Kamel and
L. M. Casey Remote Rendezvous . . . . . . . . . . . 741--755
Jurgen Annevelink and
P. Dewilde Object-oriented Data Management Based on
Abstract Data Types . . . . . . . . . . 757--781
Ehud Gudes and
Gilad Bracha GCI: A Tool for Developing Interactive
CAD User Interfaces . . . . . . . . . . 783--799
Jack W. Davidson and
Christopher W. Fraser Automatic Inference and Fast
Interpretation of Peephole Optimization
Rules . . . . . . . . . . . . . . . . . 801--812
Rob Pike The Text Editor sam . . . . . . . . . . 813--845
Pankaj Jalote Synthesizing Implementations of Abstract
Data Types from Axiomatic Specifications 847--858
Judy M. Bishop and
Stephen R. Adams and
David J. Pritchard Distributing Concurrent Ada Programs by
Source Translation . . . . . . . . . . . 859--884
Alfred C. Weaver and
M. Alex Colvin A Real-time Messaging System for Token
Ring Networks . . . . . . . . . . . . . 885--897
Keith E. Gorlen An Object-Oriented Class Library for C++
Programs . . . . . . . . . . . . . . . . 899--922
Titus D. M. Purdin and
Richard D. Schlichting and
Gregory R. Andrews A File Replication Facility for Berkeley
Unix . . . . . . . . . . . . . . . . . . 923--940
Alfred V. Aho and
Ravi Sethi Maintaining Cross References in
Manuscripts . . . . . . . . . . . . . . 1--13
Larry Hughes A Multicast Interface for UNIX 4.3 . . . 15--27
Dick Grune and
Ceriel J. H. Jacobs A Programmer-friendly LL(1) Parser
Generator . . . . . . . . . . . . . . . 29--38
G. R. Finnie Unscrambling Non-sequential Programs . . 39--50
John M. Einbu An Architectural Approach to Improved
Program Maintainability . . . . . . . . 51--62
R. E. M. Cooper and
G. Jones A Microprogrammed occam Interpreter for
the HLH Orion . . . . . . . . . . . . . 63--71
Alfs Berztiss Programming with Generators . . . . . . 73--81
Sivarama P. Dandamudi and
Paul G. Sorenson Performance Analysis of Particle-match
Search Algorithms for BD Trees . . . . . 83--105
Kai Koskimies and
Otto Nurmi and
Jukka Paakki and
Seppo Sippu The Design of a Language Processor
Generator . . . . . . . . . . . . . . . 107--135
Gerard J. Holzmann An Improved Protocol Reachability
Analysis Technique . . . . . . . . . . . 137--161
P. J. Brown and
M. T. Russell Converting Help Systems to Hypertext . . 163--165
Hyoung-Joo Kim and
Henry F. Korth and
Abraham Silberschatz PICASSO: A Graphical Query Language . . 169--203
Robert M. Colomb Assert, Retract and External Processes
in Prolog . . . . . . . . . . . . . . . 205--220
Russel Winder and
Joe Nicolson JDB: an Adaptable Interface for
Debugging . . . . . . . . . . . . . . . 221--238
Pieter H. Hartel and
Arthur H. Veen Statistics on Graph Reduction of SASL
Programs . . . . . . . . . . . . . . . . 239--253
Luigi Ciminiera and
C. Demartini and
Adriano Valenzano A Practical Study of Semi-automatic OSI
Protocol Implementation . . . . . . . . 255--277
I. R. Hentzel and
D. J. Pokrass A Practical Solution for a Large Sparse
Matrix . . . . . . . . . . . . . . . . . 279--283
Luigi V. Mancini A Technique for Subclassing and its
Implementation Exploiting Polymorphic
Procedures . . . . . . . . . . . . . . . 287--300
Les Hatton and
Andy Wright and
Stuart Smith and
Gregg Parkes and
Paddy Bennett and
Robert Laws The Seismic Kernel System --- A
Large-Scale Exercise in Fortran 77
Portability . . . . . . . . . . . . . . 301--329
Ugo de Carlini and
Umberto Villano A Simple Algorithm for Clock
Synchronization in Transputer Networks 331--347
Cezary Dubnicki and
Jan Madey and
Wojciech Wygladala Edison-N: an Edison Implementation for a
Network of Microcomputers . . . . . . . 349--363
L. Logrippo and
A. Obaid and
J. P. Briand and
M. C. Fehri An Interpreter for LOTOS, a
Specification Language for Distributed
Systems . . . . . . . . . . . . . . . . 365--385
O. Owolabi and
D. R. McGregor Fast Approximate String Matching . . . . 387--393
David Vernon and
Giulio Sandini VIS: A Virtual Image System for
Image-understanding Research . . . . . . 395--414
David W. Sandberg Experience With an Object-oriented
Virtual Machine . . . . . . . . . . . . 415--425
Tatsuo Tsuji and
Katsumasa Watanabe and
Athushi Ikehata Structured Fortran Preprocessors
Generating Optimized Output . . . . . . 427--442
Ivo van Horebeek and
Johan Lewi and
Eddi Bevers and
Luc Duponcheel and
Willy van Puymbroeck An Exception Handling Method for
Constructive Algebraic Specifications 443--458
Carl Ponder and
Richard J. Fateman Inaccuracies in Program Profilers . . . 459--467
J. Bhasker Process-graph Analyser: A Front-end Tool
for VHDL Behavioural Synthesis . . . . . 469--483
Gordon V. Cormack A Micro-Kernel for Concurrency in C . . 485--491
A. G. Tagg Low-level Programming in Modula-2: an
Experience with Local Area Network
Access . . . . . . . . . . . . . . . . . 495--507
Frank G. Pagan Converting Interpreters into Compilers 509--527
B. J. Cornelius Problems with the Language Modula-2 . . 529--543
K. L. Wrench CSP-i: An Implementation of
Communicating Sequential Processes . . . 545--560
Philip Hobley and
Peter Jesty A Recovery Block Scheme for a VAX11/750
Running Unix . . . . . . . . . . . . . . 561--596
Jorma Sajaniemi and
Jari Pekkanen An Empirical Analysis of Spreadsheet
Calculation . . . . . . . . . . . . . . 583--596
Webb Miller and
Eugene W. Myers A Simple Row-replacement Method . . . . 597--611
Kevin D. Nilsen Garbage Collection of Strings and Linked
Data Structured in Real Time . . . . . . 613--640
Roger Hayes and
Steve W. Manweiler and
Richard D. Schlichting A Simple System for Constructing
Distributed, Mixed-language Programs . . 641--660
Niklaus Wirth From Modula to Oberon . . . . . . . . . 661--670
Niklaus Wirth The Programming Language Oberon . . . . 671--690
Hanspeter Mössenböck A Convenient Way to Incorporate
Semantic: Actions in Two-pass Compiling
Scheme . . . . . . . . . . . . . . . . . 691--700
Charles Farnum Compiler Support for Floating-point
Computation . . . . . . . . . . . . . . 701--709
Brian N. Bershad and
Edward D. Lazowska and
Henry M. Levy PRESTO: A System for Object-oriented
Parallel Programming . . . . . . . . . . 713--732
Gail E. Kaiser and
Peter H. Feiler and
Fahimeh Jalili and
Johann H. Schlichter A Retrospective on DOSE: An Interpretive
Approach to Structure Editor Generation 733--748
Jeff Kramer and
Nr Keng Animation of Requirements Specifications 749--774
Jack W. Davidson and
Anne M. Holler A Study of a C Function Inliner . . . . 775--790
Larry L. Peterson Dragonmail: An Exercise in Distributed
Computing . . . . . . . . . . . . . . . 791--803
Hans-Juergen Boehm and
Mark Weiser Garbage Collection in an Uncooperative
Environment . . . . . . . . . . . . . . 807--820
Saumya K. Debray Profiling Prolog Programs . . . . . . . 821--839
M. A. O'Neill GPROC: An Integrated System for the
Processing of Numerical Scientific Data 841--857
J. Alves Marques and
J. P. Cunha and
P. Guedes and
N. Guimarães and
A. Cunha The Distributed Operating System of the
SMD Project . . . . . . . . . . . . . . 859--877
M. Stella Atkins and
Ronald A. Olsson Performace of Multi-tasking and
Synchronization Mechanisms in the
Programming Language SR . . . . . . . . 879--895
Pehong Chen and
Michael A. Harrison Index Preparation and Processing . . . . 897--915
T. S. Heines and
P. J. Jalics Compiler Performance Analysis Tools . . 917--921
C. J. Fidge A LISP Implementation of the Model for
`Communicating Sequential Processes' . . 923--943
Ravi Sharma and
Lawrence L. Rose Modular Design for Simulation . . . . . 945--966
Bin Qin and
Howard A. Sholl and
Reda A. Ammar RTS: A System to Simulate the Real Time
Cost Behaviour of Parallel Computations 967--985
K. Halewood and
M. R. Woodward NSEDIT: A Syntax-directed Editor and
Testing Tool Based on Nassi-Shneiderman
Charts . . . . . . . . . . . . . . . . . 987--998
Heikki Halme GNU Emacs as a Dynamically Extensible
Programming Environment . . . . . . . . 999--1009
Chris McDonald and
Trevor I. Dix Support for Graphs of Processes in a
Command Interpreter . . . . . . . . . . 1011--1016
J. H. Poore Derivation of Local Software Quality
Metrics (Software Quality Circles) . . . 1017--1027
Miquel Bertran-Salvans On a Formal Definition and Application
of Dimensional Design . . . . . . . . . 1029--1045
E. R. Gansner and
S. C. North and
K. P. Vo DAG: A program that draws directed
graphs . . . . . . . . . . . . . . . . . 1047--1062
Andrew Hume A Tale of Two Greps . . . . . . . . . . 1063--1072
Martin C. Atkins and
Lee R. Nackman The Active Deallocation of Objects in
Object-oriented Systems . . . . . . . . 1073--1089
M. J. Santana and
E. J. Zaluska Load Balancing in a Session Based
Distributed File-store Architecture . . 1091--1107
P. J. Le Riche K6-A Protected Mode Kernel for the
iAPX286 . . . . . . . . . . . . . . . . 1109--1124
Pat Allen and
Alan Burns Program Generation for Ada-A Case Study 1125--1138
D. J. Challab Elastic Memory: Buddy Systems Interface 1139--1155
Narain H. Gehani and
William D. Roome Concurrent C++: Concurrent Programming
with Class(es) . . . . . . . . . . . . . 1157--1177
James H. Griffin and
Harvey J. Wasserman and
Lauren P. McGavran A Debugger for Parallel Processes . . . 1179--1190
D. Saunders An Addendum to G. S. Blair, J. A.
Mariani and W. D. Shepherd: `Practical
Extension to UNIX for Interprocess
Communication' . . . . . . . . . . . . . 1191--1192
Kris K. Abe and
Daniel M. Berry indx and findphrases, A System for
Generating Indexes for Ditroff Documents 1--34
Timothy A. Budd The Design of an Object-oriented Command
Interpreter . . . . . . . . . . . . . . 35--51
William Homer and
Richard Schooler Independent Testing of Compiler Phases
Using a Test Case Generator . . . . . . 53--62
Leslie P. Jones and
Edward W. Gassie, Jr. PORTREP: A Portable Repeated String
Finder . . . . . . . . . . . . . . . . . 63--77
Jack W. Davidson and
David B. Whalley Quick Compilers Using Peephole
Optimization . . . . . . . . . . . . . . 79--97
Lloyd Allison Circular Programs and Self-referential
Structures . . . . . . . . . . . . . . . 99--109
Michael A. Jenkins Q'Nial; A Portable Interpreter for the
Nested Interactive Array Language, Nial 111--126
Daniel Hoffman Practical Interface Specification . . . 127--148
Stephen Richardson and
Mahadevan Ganapathi Interprocedural Optimization:
Experimental Results . . . . . . . . . . 149--169
Andrew W. Appel Simple Generational Garbage Collection
and Fast Allocation . . . . . . . . . . 171--183
Alistair Moffat Word-based Text Compression . . . . . . 185--198
Ellis E. Chang and
David Gedye and
Randy H. Katz The Design and Implementation of a
Version Server for Computer-aided Design 199--222
Robert van Renesse and
Hans van Staveren and
Andrew S. Tanenbaum The Performance of the Amoeba
Distributed Operating system . . . . . . 223--234
Anand Tripathi and
Eric Berge and
Mehmet Aksit An Implementation of the Object-oriented
Concurrent Programming Language SINA . . 235--256
Ricardo A. Baeza-Yates Improved String Searching . . . . . . . 257--271
G. A. Wilson Comparative Timings of Three Different
Set Implementations in Occam . . . . . . 273--281
David Jablonowski and
Vincent A. Guarna, Jr. GMB: A Tool for Manipulating and
Animating Graph Data Structures . . . . 283--301
Harold Thimbleby Using Sentinels in Insert Sort . . . . . 303--307
Lee Alton Barford and
Brad T. Vander Zanden Attribute Grammars in Constraint-based
Graphics Systems . . . . . . . . . . . . 309--328
Niklas Holsti A Session Editor with Incremental
Execution Functions . . . . . . . . . . 329--350
Ian T. Foster Implementation of a Declarative
State-transition System . . . . . . . . 351--370
Ian Sommerville and
Ray Welland and
Stuart Potter and
John Smart The ECLIPSE User Interface . . . . . . . 371--391
Rolf Engmann and
Frans van Hoeve Generation of File Processing Programs
Based on JSP . . . . . . . . . . . . . . 393--409
Piyush Dikshit and
Satish K. Tripathi and
Pankaj Jalote SAHAYO: A Test Bed Evaluating Dynamic
Load-sharing Policies . . . . . . . . . 411--435
Lanfranco Lopriore A User Interface Specification for a
Program Debugging and Measuring
Environment . . . . . . . . . . . . . . 437--460
Anna Hác and
Xiaowei Jin and
Jo-Han Soo A Performance Study of Deadlock
Prevention Algorithms in a Distributed
File System . . . . . . . . . . . . . . 461--489
John H. M. de Vet A Practical Algorithm for Evaluating
Database Queries . . . . . . . . . . . . 491--504
Mukkai S. Krishnamoorthy and
Ramesh Swaminathan Program Tools for Algorithm Animation 505--513
Lawrence A. Rowe and
Peter Danzig and
Wilson Choi A Visual Shell Interface to a Database 515--528
J. L. Schonfelder Semantic Extension Possibilities in the
Proposed New Fortran . . . . . . . . . . 529--551
Per Brinch Hansen The Joyce Language Report . . . . . . . 553--578
Per Brinch Hansen A Multiprocessor Implementation of Joyce 579--592
Russel J. Abbott Set Notation as a Language to Specify
Data Transformation Programs . . . . . . 593--606
Donald E. Knuth The errors of \TeX . . . . . . . . . . . 607--685
G. Blaschek and
J. Sametinger User-adaptable Prettyprinting . . . . . 687--702
Andrew W. Appel Allocation without Locking . . . . . . . 703--705
Evan E. Anderson A Heuristic for Software Evaluation and
Selection . . . . . . . . . . . . . . . 707--717
Andrew Straw and
Fred Mellender and
Steve Riegel Object Management in a Persistent
Smalltalk System . . . . . . . . . . . . 719--737
Jonathan B. Rosenberg and
Jonathan D. Becher Mapping Massive SIMD Parallelism onto
Vector Architectures for Simulation . . 739--756
Ronald A. Olsson and
Gregory R. Whitehead A Simple Technique for Automatic
Recompilation in Modular Programming
Languages . . . . . . . . . . . . . . . 757--773
Michael Ralph O'Neal and
William Lively and
Sallie Sheppard Software Function Allocation Methodology 775--786
Lars Lundberg A Parallel Ada System on an Experimental
Multiprocessor . . . . . . . . . . . . . 787--800
Jean G. Vaucher Record Manipulation in Prolog . . . . . 801--916
Umakishore Ramachandran and
M. Yousef Amin Khalidi A Measurement-based Study of Hardware
Support for Object Invocation . . . . . 809--828
Jonathan M. Smith Rapid Location of Mount Points . . . . . 829--838
Matti O. Jokinen A Language-independent Prettyprinter . . 839--856
Niklaus Wirth and
Jürg Gutknecht The Oberon System . . . . . . . . . . . 857--893
Norman C. Hutchinson and
Shivakant Mishra and
Larry L. Peterson and
Vicraj T. Thomas Tools for Implementing Network Protocols 895--916
Robert J. McGlinn A Parallel Version of Cook and Kim's
Algorithm for Presorted Lists . . . . . 917--930
Richard C. Waters Automated Software Management Based on
Structural Models . . . . . . . . . . . 931--955
Neal M. Bengtson Microcomputers vs. Mainframe
Simulations: a Case Study . . . . . . . 957--965
Marshall D. Brain and
Alan L. Tharp Near-perfect Hashing of Large Word Sets 967--978
Walter C. Dietrich, Jr. and
Lee R. Nackman and
Christine J. Sundaresan and
Franklin Gracer TGMS: An Object-oriented System for
Programming Geometry . . . . . . . . . . 979--1013
E. Klein and
M. Martin The Parser Generating System PGS . . . . 1015--1028
Thomas J. LeBlanc and
John M. Lellor-Crummey and
Neal M. Gafter and
Lawrence A. Crowl and
Peter C. Dibble The Elmwood Multiprocessor Operating
System . . . . . . . . . . . . . . . . . 1029--1055
G. A. Wilson Generic Parameters in occam . . . . . . 1057--1064
Sallie M. Henry and
Roger Goff Complexity Measurement of a Graphical
Programming Language . . . . . . . . . . 1065--1088
J. Grosch Efficient Generation of Lexical
Analysers . . . . . . . . . . . . . . . 1089--1103
Jong Soo Park and
Myunghwan Kim A Selection Algorithm with a Practical
Upper Bound on Expected Number . . . . . 1105--1110
Victor Schneider Converting a Portable Pascal-code
Interpreter to a Code Generator . . . . 1111--1112
Joel E. Richardson and
Michael J. Carey Persistence in the E Language: Issues
and Implementation . . . . . . . . . . . 1115--1150
Bruce J. McKenzie Fast Peephole Optimization Techniques 1151--1162
Robert D. Silverman and
Sidney J. Stuart A Distributed Batching System for
Parallel Processing . . . . . . . . . . 1163--1174
Keith Clarke One-pass Code Generation Using
Continuations . . . . . . . . . . . . . 1175--1192
Susan Angebranndt and
Philip L. Karton and
Raymond Drewry and
Todd Newman Writing Tailorable Software: The X11
Sample Server . . . . . . . . . . . . . S2/69--S2/81
Ralph Droms and
Wayne R. Dyksen Performance Measurements of the X Window
System Communication Protocol . . . . . S2/119--S2/136
Glenn Fowler A Case for make . . . . . . . . . . . . S1/35--S1/46
Haina Gajewska and
Mark S. Manasse and
Joel McCormack Why X Is Not Our Ideal Window System . . S2/137--S2/171
Jim Gettys and
Philip L. Karlton and
Scott McGregor The X Window System, Version 11 . . . . S2/35--S2/67
David G. Korn and
Eduardo Krell A New Dimension for the Unix File System S1/19--S1/34
Peter S. Langston Unix Music Tools at Bellcore . . . . . . S1/47--S1/61
Joel McCormack Writing Fast X Servers for Dumb Color
Frame Buffers . . . . . . . . . . . . . S2/83--S2/108
Frances Newberg Paulisch and
Walter F. Tichy EDGE: An Extendible Graph Editor . . . . S1/63--S1/88
David L. Presotto and
Dennis M. Ritchie Interprocess Communication in the Ninth
Edition Unix System . . . . . . . . . . S1/3--S1/17
Steven P. Reiss Interacting with the FIELD Environment S1/89--S1/115
Robert Scheifler and
Jim Gettys The X Window System . . . . . . . . . . S2/5--S2/34
Glenn Widener The X11 Inter-Client Communication
Conventions Manual . . . . . . . . . . . S2/109--S2/118
S. Angebranndt and
P. Karlton and
R. Drewry and
T. Newman The X11 Sample Server . . . . . . . . . 69--81
Hania Gajewska and
Mark S. Manasse and
Joel McCormack Why X is Not Our Ideal Window System . . 137--171
David Barron and
Charles Lang SPE --- The Early Years . . . . . . . . 3--4
David R. Hanson Fast Allocation and Deallocation of
Memory Based on Object Lifetimes . . . . 5--12
Niklaus Wirth Ceres-Net: A Low-cost Computer Network 13--24
Wayne R. Cowell and
Christopher P. Thompson Tools to Aid in Discovering Parallelism
and Localizing Arithmetic in Fortran
Programs . . . . . . . . . . . . . . . . 25--47
A. C. Fleck A Case Study Comparison of Four
Declarative Programming Languages . . . 49--65
Vaclav Rajlich and
Nicholas Damaskinos and
Panagiotis Linos and
Wafa Khorshid VIFOR: A Tool for Software Maintenance 67--77
Alexis Koster and
D. Stott Parker Regulation Management and Logic
Programming . . . . . . . . . . . . . . 79--107
Roger B. Dannenberg A Structure for Efficient Update,
Incremental Redisplay and Undo in
Graphical Editors . . . . . . . . . . . 109--132
Thomas Gross and
Peter Steenkiste Structured Dataflow Analysis for Arrays
and its Use in an Optimizing Compiler 133--155
John K. Bennett Experience with Distributed Smalltalk 157--180
Eugene H. Spafford Extending Mutation Testing to Find
Environmental Bugs . . . . . . . . . . . 181--189
Brian Malloy and
Mary Lou Soffa Conversion of Simulation Processes to
Pascal Constructs . . . . . . . . . . . 191--207
Bruce J. McKenzie and
R. Harries and
Timothy C. Bell Selecting a Hashing Algorithm . . . . . 209--224
Paul Vongsathorn and
Scott D. Carson A System for Adaptive Disk Rearrangement 225--242
Giulio Iannello Programming Abstract Data Types,
Iterators and Generic Modules in C . . . 243--260
Christian Lengauer Code Generation for a Systolic Computer 261--282
Bin Qin and
Howard A. Sholl and
Reda A. Ammar A Tool to Minimize the Time Costs of
Parallel Computations Through Optimal
Processing Power Allocation . . . . . . 283--300
James R. Cordy and
Richard C. Holt Code Generation Using an Orthogonal
Model . . . . . . . . . . . . . . . . . 301--320
Rekha Amur and
K. Ananda Mohan and
M. D. Ramaswami TMS: A Free-form Text-management System 321--324
Charles W. Reynolds Signalling Regions: Multiprocessing in a
Shared Memory Reconsidered . . . . . . . 325--356
David Notkin Proxies: A Software Structure for
Accommodating Heterogeneity . . . . . . 357--364
J. A. Zimmer Restructuring for Style . . . . . . . . 365--389
Willett Kempton and
Brian A. Wichmann Run-time Detection of Undefined
Variables Considered Essential . . . . . 391--402
Mic Bowman and
Larry L. Peterson and
Andrey Yeatts Univers: An Attribute-based Name Server 403--424
H. Rex Hartson and
Deborah Hix and
Thomas M. Kraly Developing Human --- Computer Interface
Models and Representation Techniques . . 425--457
Duane Szafron and
Randy Ng LexAGen: An Interactive Incremental
Scanner Generator . . . . . . . . . . . 459--483
Matt Bishop Collaboration using Roles . . . . . . . 485--497
Dan Lyttle and
Ray Ford A Symbolic Debugger for Real-time
Embedded Ada Software . . . . . . . . . 499--514
Michael Whitney Even Faster LR Parsing . . . . . . . . . 515--535
Kasi Anantha and
Fred Long Code Compaction for Parallel
Architectures . . . . . . . . . . . . . 537--554
Ram Sudama and
Dah-Ming Chiu Experiences of Designing a Sophisticated
Network Monitor . . . . . . . . . . . . 555--570
Narain H. Gehani Message Passing in Concurrent C:
Synchronous Versus Asynchronous . . . . 571--592
Kwan-Liu Ma and
Robert R. Kessler TICL --- A Type Inference System for
Common Lisp . . . . . . . . . . . . . . 593--623
James K. Mullin and
Daniel J. Margoliash A Tale of Three Spelling Checkers . . . 625--630
Leon H. Binder and
J. H. Poore Field Experiments with Local Software
Quality Metrics . . . . . . . . . . . . 631--647
Rob Pike The Implementation of Newsqueak . . . . 649--659
M. Douglas McIlroy Squinting at Power Series . . . . . . . 661--683
John Q. Walker II A Node-positioning Algorithm for General
Trees . . . . . . . . . . . . . . . . . 685--705
J. E. Jordan Experiences Structuring Software in a
Periodic Real-time Environment . . . . . 707--718
E. P. Wentworth Pitfalls of Conservative Garbage
Collection . . . . . . . . . . . . . . . 719--727
Christian Iseli A Microcode Compiler for the
Watch-oriented RISC Processor . . . . . 729--747
Kai Koskimies Lazy Recursive Descent Parsing for
Modular Language Implementation . . . . 749--772
Anand Tripathi and
Zine Attia El Hili Synchronization of Nested Atomic Actions 773--798
Louise E. Moser and
P. M. Melliar-Smith Formal Verification of Safety-critical
Systems . . . . . . . . . . . . . . . . 799--821
Bruce J. McKenzie LR Parsing of CFGs with Restrictions . . 823--832
Samuel E. Ebenstein and
Tracy L. McDermott Optimization Techniques for Parallel
Processing . . . . . . . . . . . . . . . 833--849
Christopher W. Fraser and
Balachander Krishnamurthy Live Text . . . . . . . . . . . . . . . 851--858
C. C. Charlton and
P. H. Leng and
D. M. Wilkinson Program Monitoring and Analysis:
Software Structures and Architectural
Support . . . . . . . . . . . . . . . . 859--867
Diane Hernek and
David P. Anderson Efficient Automated Protocol
Implementation Using RTAG . . . . . . . 869--885
Frederick S. Kuhl Object-oriented Programming Applied to a
Prototype Workstation . . . . . . . . . 887--898
Nachum Dershowitz and
Edward M. Reingold Calendrical Calculations . . . . . . . . 899--928
Peter A. Buhr and
Richard A. Stroobosscher The (mu)System: Providing Light-weight
Concurrency on Shared- memory
Multiprocessor Computers Running UNIX 929--964
Valmir C. Barbosa and
Priscilla M. V. Lima On the Distributed Parallel Simulation
of Hopfield's Neural Networks . . . . . 967--983
Adolf Schleiermacher and
Jürgen F. H. Winkler The Implementation of ProTest: a Prolog
Debugger for a Refined Box Model . . . . 985--1006
Tom C. Reyes and
James L. Sills Implementation of a Portable Screen
Manager . . . . . . . . . . . . . . . . 1007--1014
Mary P. Bivens and
Mary Lou Soffa Incremental Register Reallocation . . . 1015--1047
Alan H. Bond and
Basuki Soetarman Integrating Prolog and CADAM to Produce
an Intelligent CAD System . . . . . . . 1049--1076
Gaynor Legge and
Mahir Ali UNIX File System Behaviour and Machine
Architecture Dependency . . . . . . . . 1077--1096
Weichang Du and
William W. Wadge The Eductive Implementation of a
Three-dimensional Spreadsheet . . . . . 1097--1114
J. Grosch Lalr --- A Generator for Efficient
Parsers . . . . . . . . . . . . . . . . 1115--1135
Rafael D. Lins and
Simon J. Thompson Implementing SASL using Categorical
Multi-combinators . . . . . . . . . . . 1137--1165
F. W. Burton and
Hsi-Kai Yang Manipulating Multilinked Data Structures
in a Pure Functional Language . . . . . 1167--1185
Ronald A. Olsson Using SR for Discrete Event Simulation:
A Study in Concurrent Programming . . . 1187--1208
A. Sharaf Eldin and
D. J. Evans A Virtual Stack Facility for
Mini-computer and Microcomputer
Implementation of the Finite Element
Method . . . . . . . . . . . . . . . . . 1209--1226
Scott E. Hudson and
Shamim P. Mohamed A Graphical User Interface Server for
UNIX . . . . . . . . . . . . . . . . . . 1227--1239
James R. Larus Abstract Execution: A Technique for
Efficiently Tracing Programs . . . . . . 1241--1258
J. L. Schonfelder and
J. S. Morgan Dynamic Strings in Fortran 90 . . . . . 1259--1271
Kelvin Nilsen High-level Goal-directed Concurrent
Processing in Icon . . . . . . . . . . . 1273--1290
Christopher W. Fraser and
Robert R. Henry Hard-coding Bottom-up Code Generation
Tables to Save Time and Space . . . . . 1--12
Robert L. Read and
Martin L. Smith A Light-weight UIMS . . . . . . . . . . 13--33
Chin-Chen Chang and
Tzong-Chen Wu A Letter-oriented Perfect Hashing Scheme
Based upon Sparse Table Compression . . 35--49
Pawel Gburzynski and
Piotr Rudnicki LANSF: A Protocol Modelling Environment
and Its Implementation . . . . . . . . . 51--76
H. M. Levy and
E. D. Tempero Modules, Objects and Distributed
Programming: Issues in RPC and Remote
Object Invocation . . . . . . . . . . . 77--90
R. K. Raj and
E. Tempero and
H. M. Levy and
A. P. Black and
N. C. Hutchinson and
E. Jul Emerald: A General-Purpose Programming
Language . . . . . . . . . . . . . . . . 91--118
Richard Furuta and
P. David Stotts and
Jefferson Ogata Ytracc: a Parse Browser for Yacc
Grammers . . . . . . . . . . . . . . . . 119--132
Reuven R. Levary and
Chi Y. Lin Modelling the Software Development
Process Using an Expert Simulation
System Having Fuzzy Logic . . . . . . . 133--148
Jack W. Davidson and
David B. Whalley Methods for Saving and Restoring
Register Values across Function Calls 149--165
Martin Hardwick and
Wayne Uejio and
David L. Spooner and
Joe Czechowski and
Phil Lohr and
Brion Sarachan Implementing a User Interface Management
System for Existing Applications Using
an Object-oriented Database Tool . . . . 167--185
Brian Beckman A Scheme for Little Languages in
Interactive Graphics . . . . . . . . . . 187--207
Ronald A. Olsson and
Richard H. Cawford and
W. Wilson Ho A Dataflow Approach to Event-based
Debugging . . . . . . . . . . . . . . . 209--230
Peter Norvig Correcting a Widespread Error in
Unification Algorithms . . . . . . . . . 231--233
J. N. Magee and
Shing-Chi C. Cheung Parallel Algorithm Design for
Workstation Clusters . . . . . . . . . . 235--250
Shin-Yuan Tzou and
David P. Anderson The Performance of Message-passing Using
Restricted Virtual Memory Remapping . . 251--267
R. H. Perrott and
T. F. Lunney A Syntax-directed Integrated Programming
Environment for Developing SIMD
Supercomputer Software . . . . . . . . . 269--286
C. C. Charlton and
P. H. Leng and
J. Little Vertical Migration of Numerical Routines
in Software and Microcode . . . . . . . 287--297
Pieter H. Hartel Performance of Lazy Combinator Graph
Reduction . . . . . . . . . . . . . . . 299--329
Jon Vaughan and
Duncan Whyatt and
Graham Brookes A Parallel Implementation of the
Douglas-Peucker Line Simplification
Algorithm . . . . . . . . . . . . . . . 331--336
H. Rebecca Callison and
Alan C. Shaw Building a Real-time Kernel: First Steps
in Validating a Pure Process/Adt Model 337--354
G. Cabodi and
P. Camurati and
P. Prinetto and
M. Sonza Reorda TPDL*: Extended Temporal Profile
Description Language . . . . . . . . . . 355--374
W. Wilson Ho and
Ronald A. Olsson An Approach to Genuine Dynamic Linking 375--390
Vincent D. Moynihan and
Peter J. L. Wallis The Design and Implementation of a
High-level Language Converter . . . . . 391--400
Frédéric Boussinot Reactive C: An Extension of C to Program
Reactive Systems . . . . . . . . . . . . 401--428
Cui-Qing Yang and
Raphael A. Finkel Utility Servers in Charlotte . . . . . . 429--441
Umakishore Ramachandran and
Yousef Y. A. Khalidi An Implementation of Distributed Shared
Memory . . . . . . . . . . . . . . . . . 443--464
David R. Crowe NovAtel's Novel Approach to CPU Usage
Measurement . . . . . . . . . . . . . . 465--477
Simon L. Peyton Jones and
David Lester A Modular Fully-lazy Lambda Lifter in
HASKELL . . . . . . . . . . . . . . . . 479--506
Pierre N. Robillard and
Daniel Coupal and
Françe;ois Coallier Profiling Software through the Use of
Metrics . . . . . . . . . . . . . . . . 507--518
Aniello Cimitile and
Ugo de Carlini Reverse Engineering: Algorithms for
Program Graph Production . . . . . . . . 519--537
James M. Purtilo and
Joanne M. Atlee Module Reuse by Interface Adaptation . . 539--556
Roman Rozin and
Siegfried Treu A Hybrid Implementation of a
Process-oriented Programming Language
for System Simulation . . . . . . . . . 557--579
Keith D. Cooper and
Mary W. Hall and
Linda Torczon An Experiment with Inline Substitution 581--601
Evelina Lamma and
Paola Mello and
Antonio Natali Reflection Mechanisms for Combining
Prolog Databases . . . . . . . . . . . . 603--624
Yaron Wolfsthal Style Control in the Quill Document
Editing System . . . . . . . . . . . . . 625--638
Hervé Touati and
Alan Jay Smith Reducing and Manipulating Complex Trace
Data . . . . . . . . . . . . . . . . . . 639--655
Hsiao-Chung Cheng and
Jang-Ping Sheu Design and Implementation of a
Distributed File System . . . . . . . . 657--675
Norman Ramsey and
Carla Marceau Literate Programming on a Team Project 677--683
K. N. King and
A. Jefferson Offutt A Fortran Language System for
Mutation-based Software Testing . . . . 685--718
Prasun Dewan An Inheritance Model for Supporting
Flexible Displays of Data Structures . . 719--738
Wuu Yang Identifying Syntactic differences
Between Two Programs . . . . . . . . . . 739--755
Fred Douglis and
John K. Ousterhout Transparent Process Migration: Design
Alternatives and the Sprite
Implementation . . . . . . . . . . . . . 757--785
Steven M. Kearns Extending Regular Expressions with
Context Operators and Parse Extraction 787--804
Steven M. Kearns TLex . . . . . . . . . . . . . . . . . . 805--821
Marco Baldassari and
Giorgio Bruno and
Andrea Castella PROTOB: An Object-oriented CASE Tool for
Modelling and Prototyping Distributed
Systems . . . . . . . . . . . . . . . . 823--844
Xudong He and
John A. N. Lee A Methodology for Constructing Predicate
Transition Net Specifications . . . . . 845--875
Christopher Mills and
Stanley C. Ahalt and
Jim Fowler Compiled Instruction Set Simulation . . 877--889
Glenn Luecke and
Wagar Haque and
James Hoekstra and
Howard Jespersen and
James Coyle Evaluation of Fortran Vector Compilers
and Preprocessors . . . . . . . . . . . 891--905
C. R. Snow A Multi-protocol Campus Time Server . . 907--922
Jim Welsh and
Brad Broom and
Derek Kiong A Design Rationale for a Language-based
Editor . . . . . . . . . . . . . . . . . 923--948
Yi Zheng and
Jim Hague DMT --- a Demonstration Tool . . . . . . 949--961
Christopher W. Fraser and
David R. Hanson A Code Generation Interface for ANSI C 963--988
Paul Austin and
Kevin Murray and
A. J. Wellings The Design of an Operating System for a
Scalable Parallel Computing Engine . . . 989--1013
Kyoji Umemura Floating-point Number LISP . . . . . . . 1015--1026
John A. Dundas III Implementing Dynamic Minimal-prefix
Tries . . . . . . . . . . . . . . . . . 1027--1040
Stephen A. Rees and
James P. Black An Experimental Investigation of
Distributed Matrix Multiplication
Techniques . . . . . . . . . . . . . . . 1041--1063
P. D. Smith Experiments with a Very Fast Substring
Search Algorithm . . . . . . . . . . . . 1065--1074
Lee J. White and
Bogdan Wiszniewski Path Testing of Computer Programs with
Loops Using a Tool for Simple Loop
Patterns . . . . . . . . . . . . . . . . 1075--1102
Kar-Wing Edward Lor Operational Definitions for System
Requirements as the Basis of Design
Automation . . . . . . . . . . . . . . . 1103--1124
Arne Andersson A Note on Searching in a Binary Search
Tree . . . . . . . . . . . . . . . . . . 1125--1128
Thomas M. J. Fruchterman and
Edward M. Reingold Graph Drawing by Force-directed
Placement . . . . . . . . . . . . . . . 1129--1164
Richard Hesketh Perly --- UNIX with Buttons . . . . . . 1165--1187
V. S. Sunderam and
Vernon J. Rego EcliPSe: A System for High Performance
Concurrent Simulation . . . . . . . . . 1189--1219
Andrew Hume and
Daniel Sunday Fast String Searching . . . . . . . . . 1221--1248
M. Carlsson Göthe and
D. Wengelin and
L. Asplund The Distributed Ada Run-time System
DARTS . . . . . . . . . . . . . . . . . 1249--1263
Jakaob P. Ukelson and
John D. Gould and
Stephen J. Boies and
Charles Wiecha Case Study: Using ITS Style Tools to
Implement IBM's CUA-2 User Interface
Style . . . . . . . . . . . . . . . . . 1265--1288
Sean Quinlan A Cached WORM File System . . . . . . . 1289--1299
Pohua P. Chang and
Scott A. Mahlke and
Wen-Mei W. Hwu Using Profile Information to Assist
Classic Code Optimizations . . . . . . . 1301--1321
V. Seshadri and
David B. Wortman An Investigation into Concurrent
Semantic Analysis . . . . . . . . . . . 1323--1348
Eric J. Byrne Software Reverse Engineering . . . . . . 1349--1364
J. William Atwood and
Walter Prager A STREAMS-Based Communications Subsystem
in Turing Plus for Protocol Development 1365--1380
W. Morven Gentleman and
Terry Shepard and
Douglas V. P. Thoreson Administrators and Multiprocessor
Rendezvous Mechanisms . . . . . . . . . 1--39
Karl J. Ottenstein and
Steven J. Ellcey Experience Compiling Fortran to Program
Dependence Graphs . . . . . . . . . . . 41--62
Catherine A. Wood and
Philip D. Gray User Interface-Application Communication
in the Chimera User Interface Management
System . . . . . . . . . . . . . . . . . 63--84
Christopher W. Fraser and
David R. Hanson Simple Register Spilling in a
Retargetable Compiler . . . . . . . . . 85--99
David H. Bartlay Optimizing Stack Frame Accesses for
Processors with Restricted Addressing
Modes . . . . . . . . . . . . . . . . . 101--110
Derek Kiong and
Jim Welsh Incremental Semantic Evaluation in
Language-based Editors . . . . . . . . . 111--135
Peter A. Buhr and
Glen Ditchfield and
Richard A. Stroobosscher and
B. M. Younger and
C. Robert Zarnke $\mu$ C++: Concurrency in the
Object-oriented Language C++ . . . . . . 137--172
E. P. Doolan Experience with Fagan's Inspection
Method . . . . . . . . . . . . . . . . . 173--182
J. S. Busby and
D. Hutchison The Practical Integration of
Manufacturing Applications . . . . . . . 183--207
Timo Knuutila Efficient Prolog Programming . . . . . . 209--221
Peter M. Maurer The Design and Implementation of a
Grammar-based Data Generator . . . . . . 223--244
O. Frieder A Parallel Database-driven Protocol
Verification System Prototype . . . . . 245--264
Narain H. Gehani and
William D. Roome Implementing Concurrent C . . . . . . . 265--285
Wayne Wolf Object-oriented Implementation Issues in
an Experimental CAD System . . . . . . . 287--304
Joseph L. Steffen Adding Run-time Checking to the Portable
C Compiler . . . . . . . . . . . . . . . 305--348
Jorge L. Díaz-Herrera and
Ronald D. Graft and
Douglas B. Rupp ARTK: M2: a Kernel for Ada Tasking
Requirements: an Implementation and an
Automatic Generator . . . . . . . . . . 317--348
Pohua P. Chang and
Scott A. Mahlke and
William Y. Chen and
Wen-Mei W. Hwu Profile-guided Automatic Inline
Expansion for C Programs . . . . . . . . 349--369
D. E. Stevenson and
L. K. Ammons and
W. G. Crosmun and
A. Jackson and
G. L. Raj A Vector C and Fortran Compiler for the
FPS T-Series: Experiences with Compiling
to occam I . . . . . . . . . . . . . . . 371--390
Leslie C. Lander and
Sandeep Mitra and
Nitin Singhvi and
Thomas F. Piatkowski The Elaboration Order Problem of Ada . . 391--417
A. Gayler Harford and
Vincent P. Heuring and
Michael G. Main A New Parsing Method for Non-LR(1)
Grammars . . . . . . . . . . . . . . . . 419--437
Walter Cunto and
J. Ian Munro and
Manuel Rey Selecting the Median and Two Quartiles
in a Set of Numbers . . . . . . . . . . 439--454
David Silberberg Ingest --- A Simple Program for
Performing Distributed Relational
Database Operations . . . . . . . . . . 455--466
Christopher J. Van Wyk Arithmetic Equality Constraints as C++
Statements . . . . . . . . . . . . . . . 467--494
Goetz Graefe and
Shreekant S. Thakkar Tuning a Parallel Database Algorithm on
a Shared-memory Multi- processor . . . . 495--517
Justin O. Graver The Evolution of an Object-oriented
Compiler Framework . . . . . . . . . . . 519--535
David M. Ogle and
Neil G. Sullivan and
E. Hollins Williams, Jr. Practical Experience with OS/2
Installable File Systems . . . . . . . . 537--551
Linda Rising and
Frank W. Calliss Problems with Determining Package
Cohesion and Coupling . . . . . . . . . 553--571
Changguan Fan and
Suzanne W. Dietrich Extension Table Built-ins for Prolog . . 573--597
Reza Hashemi and
Ronald J. Leach Issues in Porting Software from C to C++ 599--602
Carmen J. Trammell and
J. H. Poore A Group Process for Defining Local
Software Quality: Field Applications and
Validation Experiment . . . . . . . . . 603--636
Kenneth Walker and
Ralph E. Griswold An Optimizing Compiler for the Icon
Programming Language . . . . . . . . . . 637--657
Mary F. Fernandez and
David R. Hanson Garbage Collection Alternatives for Icon 659--672
M. D. McIlroy and
J. A. Reeds Multilevel Security in the UNIX
Tradition . . . . . . . . . . . . . . . 673--694
Jun-Ichi Aoe and
Katsushi Morimoto and
Takashi Sato An Efficient Implementation of Trie
Structures . . . . . . . . . . . . . . . 695--721
Ben A. Blake Assignment of Independent Tasks to
Minimize Completion Time . . . . . . . . 723--734
Peter A. Buhr and
Hamish I. Macdonald and
C. Robert Zarnke Synchronous and Asynchronous Handling of
Abnormal Events in the muSystem . . . . 735--776
Jaques Cohen and
Aline Weitzman Software Tools for Micro-analysis of
Programs . . . . . . . . . . . . . . . . 777--808
Man-Chi Pong and
Yongguang Zhang cxterm: A Chinese Terminal Emulator for
the X Window System . . . . . . . . . . 809--826
Narain H. Gehani Exceptional C or C with Exceptions . . . 827--848
Alan T. Yaung and
Tzvi Raz Linkage Analysis of Processes . . . . . 849--862
Paul S. Dodd and
Chinya V. Ravishankar Monitoring and Debugging Distributed
Real-time Programs . . . . . . . . . . . 863--877
Timo Raita Tuning the Boyer-Moore-Horspool String
Searching Algorithm . . . . . . . . . . 879--884
C. Pronk Stress Testing of Compilers for Modula-2 885--897
C. van Reeuwijk Tm: a Code Generator for Recursive Data
Structures . . . . . . . . . . . . . . . 899--908
Carine Féd\`ele and
Olivier Lecarme Towards a Toolkit for Building Language
Implementations . . . . . . . . . . . . 911--936
Daniel Schwabe and
Andrea Caloini and
Franca Garzotto and
Paolo Paolini Hypertext Development Using a
Model-based Approach . . . . . . . . . . 937--962
Chih-Cheng Lien and
Chien-Chiao Yang Specification and Quality Assurance of
Timing Constraints in Real-time Systems
Development . . . . . . . . . . . . . . 963--984
W. G. Levelt and
M. F. Kaashoek and
H. E. Bal and
A. S. Tanenbaum A Comparison of Two Paradigms for
Distributed Shared Memory . . . . . . . 985--1010
Bernd Fischer and
Carsten Hammer and
Werner Struckmann ALADIN: A Scanner Generator for
Incremental Programming Environments . . 1011--1025
Kuang-Yao Chang and
Gregory T. Yang CCIGS: A Data Compression System for
Chinese Fonts and Binary Images Using
Classification Techniques . . . . . . . 1027--1047
Paul A. Johnson and
Ceri Rees Reusability Through Fine-grain
Inheritance . . . . . . . . . . . . . . 1049--1068
D. W. Bustard and
M. T. Norris and
R. A. Orr and
A. C. Winstanley An Exercise in Formalizing the
Description of a Concurrent System . . . 1069--1098
Leo Mark and
Nick Roussopoulos and
Tina Newsome and
Piriya Laohapipattana Incrementally Maintained Network ---
Relational Database Mapping . . . . . . 1099--1131
Paola Inverardi and
Franco Mazzanti Experimenting with Dynamic Linking with
Ada . . . . . . . . . . . . . . . . . . 1--14
Claudio L. Lucchesi and
Tomasz Kowaltowski Applications of Finite Automata
Representing Large Vocabularies . . . . 15--30
Adriano Valenzano and
R. Sisto and
Luigi Ciminiera Rapid Prototyping of Protocols from
LOTOS Specifications . . . . . . . . . . 31--54
Maria Concetta Maccarone and
Mario Tripiciano and
Vito di Ges\`u and
Domenico Tegolo PDB: a Pictorial Database Oriented to
Data Analysis . . . . . . . . . . . . . 55--73
Prasun Dewan Designing and Implementing Multi-user
Applications: a Case Study . . . . . . . 75--93
David B. Whalley Techniques for Fast Instruction Cache
Performance Evaluation . . . . . . . . . 95--118
Vincenzo Loia and
Michel Quaggetto High-level Management of Computation
History for the Design and
Implementation of a Prolog System . . . 119--150
Michael J. Wise Experience with PMS-Prolog: a
Distributed Coarse-grain-parallel Prolog
with Processes, Modules and Streams . . 151--175
Michel Rueher A First Exploration of Prolog III's
Capabilities . . . . . . . . . . . . . . 177--200
David B. Johnson and
Willy Zwaenepoel The Peregrine High-performance RPC
System . . . . . . . . . . . . . . . . . 201--221
Pierre N. Robillard and
Mario Simoneau Iconic Control Graph Representation . . 223--234
Pete Boysen and
Pinaki Shah Reducing Object Storage Requirements in
a Multi-user Environment . . . . . . . . 235--241
William E. Wright and
Sakthirel Jeyaratnam Success Rate of Interpolation in
Subsegment Prediction . . . . . . . . . 243--253
D. D. Cowan and
T. M. Stepien and
R. Ierusalimschy and
Carlos J. P. Lucena Application Integration: Constructing
Composite Applications from Interactive
Components . . . . . . . . . . . . . . . 255--275
John. J. Darragh and
John G. Cleary and
Ian H. Witten Bonsai: a Compact Representation of
Trees . . . . . . . . . . . . . . . . . 277--291
Reda A. Ammar and
Carolyn Pe Rosiene Visualizing a Hierarchy of Performance
Models for Software Systems . . . . . . 293--315
Giuseppe Santucci and
Pier Angelo Sottile Query by Diagram: a Visual Environment
for Querying Databases . . . . . . . . . 317--340
Andy Litman An Implementation of Precompiled Headers 341--350
William G. Griswold and
Gregg M. Townsend The Design and Implementation of Dynamic
Hashing for Sets and Tables in Icon . . 351--367
Jim Bell and
Gopal K. Gupta An Evaluation of Self-adjusting Binary
Search Tree Techniques . . . . . . . . . 369--382
Edward M. Reingold and
Nachum Dershowitz and
Stewart M. Clamen Calendrical Calculations, II: Three
Historical Calendars . . . . . . . . . . 383--404
Larry Hughes Object Identification in the Lego Kernel 405--418
Vincent Englebert and
Baudouin Le Charlier and
Didier Roland and
Pascal Van Hentenryck Generic Abstract Interpretation
Algorithms for Prolog: Two Optimization
Techniques and their Experimental
Evaluation . . . . . . . . . . . . . . . 419--459
Dominic A. Varley Practical Experience of the Limitations
of Gprof . . . . . . . . . . . . . . . . 461--463
Anonymous Champagne and Software . . . . . . . . . ii
Don Libes Kibitz --- Connecting Multiple
Interactive Programs Together . . . . . 465--475
Tamiya Onodera Reducing Compilation Time by a
Compilation Server . . . . . . . . . . . 477--485
Aloke Gupta and
Wen-Mei W. Hwu An Execution Profiler for
Window-oriented Applications . . . . . . 487--510
D. D. Cowan and
C. M. Durance and
E. Gigu\`ere and
G. M. Pianosi CIRL/PIWI: a GUI Toolkit Supporting
Retargetability . . . . . . . . . . . . 511--527
Michael Sannella and
John Maloney and
Bjòrn N. Freeman-Benson and
Alan Borning Multi-way versus One-way Constraints in
User Interfaces: Experience with the
DeltaBlue Algorithm . . . . . . . . . . 529--566
Ahmed A. Rafea and
Khaled F. Shaalan Lexical Analysis of Inflected Arabic
Words using Exhaustive Search of an
Augmented Transition Network . . . . . . 567--588
Hiralal Agrawal and
Richard A. DeMillo and
Eugene H. Spafford Debugging with Dynamic Slicing and
Backtracking . . . . . . . . . . . . . . 589--616
David W. Flater and
Yelena Yesha and
E. K. Park Extensions to the C Programming Language
for Enhanced Fault Detection . . . . . . 617--628
Alfonso Fuggetta and
Carlo Ghezzi and
Dino Mandrioli and
Angelo Morzenti Executable Specifications with Data-flow
Diagrams . . . . . . . . . . . . . . . . 629--653
Bernard Thirion Construction of an Interactive
Programming Environment for Control of
Theatrical-set Effects via
Object-oriented Methods . . . . . . . . 655--675
Michael Franz Emulating an Operating System on Top of
Another . . . . . . . . . . . . . . . . 677--692
Richard B. Borie and
Allen S. Parrish and
Srinivas Mandyam Lock-and-key Strategies for Handling
Undefined Variables . . . . . . . . . . 693--710
Gerard J. Holzmann Standardized Protocol Interfaces . . . . 711--731
Benjamin G. Zorn The Measured Cost of Conservative
Garbage Collection . . . . . . . . . . . 733--756
Timothy C. Bell and
David Kulp Longest-match String Searching for
Ziv-Lempel Compression . . . . . . . . . 757--771
Santosh K. Shrivastava and
Luigi V. Mancini and
Brian Randell The Duality of Fault-tolerant System
Structures . . . . . . . . . . . . . . . 773--798
Yezdezard Lashkari and
Viswanath Ramachandran and
Sanjay Malpani and
S. L. Mehndiratta Vartalaap: a Distributed Multicast
Communication System . . . . . . . . . . 799--811
Leonidas Drizis A Method for Fast Tape Backups and
Restores . . . . . . . . . . . . . . . . 813--815
Anthony Bloesch Aesthetic Layout of Generalized Trees 817--827
Gary H. Merrill Parsing Non-LR(k) Grammars with Yacc . . 829--850
Dirk Grunwald and
Benjamin G. Zorn CustoMalloc: Efficient Synthesized
Memory Allocators . . . . . . . . . . . 851--869
Michael R. Dunlavey Differential Evaluation: a Cache-based
Technique for Incremental Update of
Graphical Displays of Structures . . . . 871--893
Raymond J. A. Buhr Pictures that Play: Design Notations for
Real-time and Distributed Systems . . . 895--931
John Plaice and
William W. Wadge A Unix Tool for Managing Reusable
Software Components . . . . . . . . . . 933--948
Deepak Gupta and
Pankaj Jalote On-line Software Version Change Using
State Transfer Between Processes . . . . 949--964
Yung-Chen Hung and
Gen-Huey Chen Reverse Reachability Analysis: a New
Technique for Deadlock Detection on
Communicating Finite State Machines . . 965--979
Dong Kohlert and
Ken Rodham and
Dan R. Olsen Implementing a Graphical Multi-user
Interface Toolkit . . . . . . . . . . . 981--999
Jeffrey H. Kingston The Design and Implementation of the
Lout Document Formatting Language . . . 1001--1041
Kirk Sayre and
Michael A. Gray Backtalk: A Generalized Dynamic
Communication System for DAI . . . . . . 1043--1058
Shivakant Mishra and
Larry L. Peterson and
Richard D. Schlichting Experience with Modularity in Consul . . 1059--1075
Tamiya Onodera A Generational and Conservative Copying
Collector for Hybrid Object-oriented
Languages . . . . . . . . . . . . . . . 1077--1093
James S. Collofello and
Bakul P. Gosalla An Application of Causal Analysis to the
Software Modification Process . . . . . 1095--1105
Kehsiung Chung and
Janche Sang and
Vernon Rego A Performance Comparison of Event
Calendar Algorithms: an Empirical
Approach . . . . . . . . . . . . . . . . 1107--1138
R. A. Frost Guarded Attribute Grammars . . . . . . . 1139--1156
Carl F. Schaefer and
Gary N. Bundy Static Analysis of Exception Handling in
Ada . . . . . . . . . . . . . . . . . . 1157--1174
Peter Schnorf and
Mahadevan Ganapathi and
John L. Hennessy Compile-time Copy Elimination . . . . . 1175--1200
Herbert G. Mayer and
Michael Wolfe Interprocedural Alias Analysis:
Implementation and Empirical Results . . 1201--1233
S.-Y. Tzou and
Jyh-Jang Lim and
Jai Menon and
David Palmer A Distributed Development Environment
for Embedded Software . . . . . . . . . 1235--1248
Jon Louis Bentley and
M. Douglas McIlroy Engineering a Sort Function . . . . . . 1249--1265
Faris N. Abuali and
Roger L. Wainwright ISA[$k$] Trees: A Class of Binary Search
Trees With Minimal or Near Minimal
Internal Path Length . . . . . . . . . . 1267--1283
Alexandros Biliris and
Shaul Dar and
Narain H. Gehani Making C++ Objects Persistent: the
Hidden Pointers . . . . . . . . . . . . 1285--1303
Songnian Zhou and
Xiaohu Zheng and
Jingwen Wang and
Pierre Delisle Utopia: a Load Sharing Facility for
Large, Heterogeneous Distributed
Computer Systems . . . . . . . . . . . . 1305--1336
Saumya K. Debray QD-Janus: a Sequential Implementation of
Janus in Prolog . . . . . . . . . . . . 1337--1360
Eric N. Hanson and
Tina M. Harvey and
Mark A. Roth Experiences in Database System
Implementation Using a Persistent
Programming Language . . . . . . . . . . 1361--1377
Ken Slonneger Executing Continuation Semantics: a
Comparison . . . . . . . . . . . . . . . 1379--1397
Brigham Bell and
Wayne Citrin and
Clayton Lexis and
John Rieman and
Robert Weaver and
Nick Wilder and
Benjamin G. Zorn Using the Programming Walkthrough to Aid
in Programming Language Design . . . . . 1--25
Alexander D. Stoyenko SUPRA-RPC: SUbprogram PaRAmeters in
Remote Procedure Calls . . . . . . . . . 27--49
Steve Carr and
Ken Kennedy Scalar Replacement in the Presence of
Conditional Control Flow . . . . . . . . 51--77
Jong Yong Kim and
John Shawe-Taylor Fast String Matching using an $n$-gram
Algorithm . . . . . . . . . . . . . . . 79--88
Curtis E. Dyreson and
Richard T. Snodgrass Efficient Timestamp Input and Output . . 89--109
David B. Wortman and
S. Zhou and
S. Fink Automating Data Conversion for
Heterogeneous Distributed Shared Memory 111--125
Pieter H. Hartel and
Hugh Glaser and
John. M. Wild Compilation of Functional Languages
using Flow Graph Analysis . . . . . . . 127--173
Sitaram C. V. Raju and
Alan C. Shaw A Prototyping Environment for
Specifying, Executing and Checking
Communicating Real-Time State Machines 175--195
James R. Larus and
Thomas Ball Rewriting Executable Files to Measure
Program Behavior . . . . . . . . . . . . 197--218
Steven A. Gordon A Faster Scrabble Move Generation
Algorithm . . . . . . . . . . . . . . . 219--232
Sampath Kannan and
Todd A. Proebsting Short Communication: Correction to
``Producing Good Code for the case
Statement'', SPE 15: 1021--1024 (October
1985) . . . . . . . . . . . . . . . . . 233--233
Mehrad Yasrebi Implementations and Performance of Two
RPC-based LAN Gateway Applications . . . 235--264
Katsushi Morimoto and
Hirokazu Iriguchi and
Jun-Ichi Aoe A Method of Compressing Trie Structures 265--288
D. Blostein and
L. Haken The Lime Music Editor: a Diagram Editor
Involving Complex Transformations . . . 289--306
Deborah Whitfield and
Mary Lou Soffa The Design and Implementation of Genesis 307--325
Peter M. Fenwick A New Data Structure for Cumulative
Frequency Tables . . . . . . . . . . . . 327--336
Alden H. Wright Approximate String Matching using
Within-word Parallelism . . . . . . . . 337--362
Frank Adelstein and
Golden Richard III and
Loren Schwiebert and
Rick Parent and
Mukesh Singhal A Distributed Graphics Library System 363--376
Wen-Ping Hwang and
Ching-Lin Wang Using Procedural Parameters and
Continuations in Combinatorial Searches 377--386
Panagiotis K. Linos and
Philippe Aubet and
Laurent Dumas and
Yann Helleboid and
Patricia Lejeune and
Philippe Tulula Visualizing Program Dependencies: An
Experimental Study . . . . . . . . . . . 387--403
Keith Paton Description of Essential System
Behaviour using Message-state Tables . . 405--420
Johnny Wong and
William Marshall and
Robert Goodman Remote Database Access in the
Distributed Computing Environment . . . 421--434
P. D. Smith Short Communication: On Tuning the
Boyer-Moore-Horspool String Searching
Algorithm . . . . . . . . . . . . . . . 435--436
C. R. Snow and
H. Whitfield Simple Authentication . . . . . . . . . 437--447
Scott R. Cannon and
David Dunn Adding Fault-tolerant Transaction
Processing to LINDA . . . . . . . . . . 449--466
Per Brinch Hansen The Programming Language SuperPascal . . 467--483
Janche Sang and
Ke-Hsiung Chung and
Vernon Rego A Simultation Testbed based on
Lightweight Processes . . . . . . . . . 485--505
R. S. Side and
G. C. Shoja A Debugger for Distributed Programs . . 507--525
David Detlefs and
Al Dosser and
Benjamin G. Zorn Memory Allocation Costs in Large C and
C++ Programs . . . . . . . . . . . . . . 527--542
N. C. Audsley and
Alan Burns and
M. F. Richardson and
A. J. Wellings STRESS: a Simulator for Hard Real-time
Systems . . . . . . . . . . . . . . . . 543--564
Ajith K. Narayanan Design of a Safe String Library for C 565--578
Per Brinch Hansen Multiple-length Division Revisited: a
Tour of the Minefield . . . . . . . . . 579--601
Alfredo M. Maeda and
Jun-Ichi Aoe and
Hideto Tomabechi Automatic Synthesis of State Machines
from Trace Diagrams . . . . . . . . . . 603--622
David R. Musser and
Alexander A. Stepanov Algorithm-oriented Generic Libraries . . 623--642
Kai Koskimies and
Erkki Mäkinen Automatic Synthesis of State Machines
from Trace Diagrams . . . . . . . . . . 643--658
T. H. Tse and
T. Y. Chen and
F. T. Chan and
H. Y. Chen and
H. L. Xie The Application of Prolog to Structured
Design . . . . . . . . . . . . . . . . . 659--676
Peter M. Fenwick Corrections to ``A New Data Structure
for Cumulative Frequency Tables'', SPE
24(3): 327--336 (March 1994) . . . . . . 677--677
Robert Snelick and
Joseph JáJá and
Raghu Kacker and
Gordon Lyon Synthetic-perturbation Techniques for
Screening Shared Memory Programs . . . . 679--701
M. J. Freeman and
P. J. Layzell Experience Realising a Meta-model for
Wide System Understanding: The Global
System Model . . . . . . . . . . . . . . 703--728
Armando B. Matos A Matrix Model for the Flow of Control
in Prolog Programs with Applications to
Profiling . . . . . . . . . . . . . . . 729--746
Daniel Y. Chao and
David T. Wang An Interactive Tool for Design,
Simulation, Verification, and Synthesis
of Protocols . . . . . . . . . . . . . . 747--783
Chung-Ming Huang and
Chung-Ming Lo Multimedia E-mail: the Evolution
Approach Based on Adapters . . . . . . . 785--800
Chandra R. Asthagiri and
Jerry L. Potter Parallel Context-sensitive Compilation 801--822
M. H. MacGregor and
W. D. Grover Optimized $\kappa$-shortest-paths
Algorithm for Facility Restoration . . . 823--834
R. A. Buhr and
David Till and
C. Robert Zarnke Assignment as the Sole Means of Updating
Objects . . . . . . . . . . . . . . . . 835--870
Chung-Chi Jim Li and
Elliot M. Stewart and
W. Kent Fuchs Compiler-assisted Full Checkpointing . . 871--886
Brett D. Fleisch and
Randall L. Hyde and
Nils Christian Juul Mirage+: A Kernel Implementation of
Distributed Shared Memory on a Network
of Personal Computers . . . . . . . . . 887--909
Gregory Butler and
Sridhar S. Iyer and
E. A. O'Brien A Database of Groups of Prime-power
Order . . . . . . . . . . . . . . . . . 911--951
Daniel Maskit and
Stephen Taylor A Message-driven Programming System for
Fine-grain Multicomputers . . . . . . . 953--980
Chandramohan A. Thekkath and
John Wilkes and
Edward D. Lazowska Techniques for File System Simulation 981--999
Jan Toyn and
Alan J. Dix Efficient Binary Transfer of Pointer
Structures . . . . . . . . . . . . . . . 1001--1023
Clinton L. Jeffery and
Ralph E. Griswold A Framework for Execution Monitoring in
Icon . . . . . . . . . . . . . . . . . . 1025--1049
Dabiel C. Schmitz and
Jonny S. Wong and
Ron M. Nelson Design and Implementation of National
Engineering Education Delivery System 1051--1076
Robert Henderson and
Benjamin G. Zorn A Comparison of Object-oriented
Programming in Four Modern Languages . . 1077--1095
Ta Chen and
I. V. Ramakrishnan and
R. Ramesh Multistage Indexing Algorithms for
Speeding Prolog Execution . . . . . . . 1097--1119
C. Murray Woodside and
Cheryl Schramm Complex Performance Measurements with
NICE (Notation for Interval Combinations
and Events) . . . . . . . . . . . . . . 1121--1144
Frederick Kuhl and
William Neal and
Howard Cohen Object Request Broker: Foundation for
Distributed Simulation . . . . . . . . . 1145--1157
Linda B. Sherrell and
Doris L. Carver Experiences in Translating Z Designs to
Haskell Implementations . . . . . . . . 1159--1178
Shyh-Kwei Chen and
Neal J. Alewine and
W. Kent Fuchs and
Wen-Mei W. Hwu Incremental Compiler Transformations for
Multiple Instruction Retry . . . . . . . 1179--1198
A. Birrell and
G. Nelson and
S. Owicki and
E. Wobber Network Objects . . . . . . . . . . . . 87--130
A. Koenig and
B. Stroustrup Foundations for Native C++ Styles . . . 45--86
O. L. Madsen Open Issues in Object-oriented
Programming --- A Scandinavian
Perspective . . . . . . . . . . . . . . 3--43
M. L. Powell Alternative Perspectives on Object
Technology . . . . . . . . . . . . . . . 131--141
Geoffrey H. Kuenning Kitrace: Precise Interactive Measurement
of Operating System Kernels . . . . . . 1--21
Phillip R. Romig III and
Ashok Samal DeViouS: A Distributed Environment for
Computer Vision . . . . . . . . . . . . 23--45
T. L. McCluskey and
J. M. Porteous and
Y. Naik and
C. N. Taylor and
S. Jones A Requirements Capture Method and its
use in an Air Traffic Control
Application . . . . . . . . . . . . . . 47--71
Malcolm Wallace and
Colin Runciman Extending a Functional Programming
System for Embedded Applications . . . . 73--96
Gwendolyn H. Walton and
J. H. Poore and
Carmen J. Trammell Statistical Testing of Software Based on
a Usage Model . . . . . . . . . . . . . 97--108
Per Brinch Hansen The Long Division Algorithm of Linger,
Mills and Witt . . . . . . . . . . . . . 109
J. Sametinger and
S. Schiffer Design and Implementation Aspects of an
Experimental C++ Programming Environment 111--128
Arne Andersson and
Stefan Nilsson Efficient Implementation of Suffix Trees 129--141
V. Ambriola and
Paolo Ciancarini and
Andrea Corradini Declarative Specification of the
Architecture of a Software Development
Environment . . . . . . . . . . . . . . 143--174
Patrick G. Robinson and
James D. Arthur Distributed Process Creation within a
Shared Data Space Framework . . . . . . 175--191
Yi-Bing B. Lin and
Dan Daly A Flexible Graphical User Interface for
Performance Modeling . . . . . . . . . . 193--216
G. F. Levy Improving the Output of the FORTRAN to C
translator, f2c . . . . . . . . . . . . 217--227
Masataka Sassa and
Harushi Ishizuka and
Ikuo Nakata Rie, a Compiler Generator Based on a
One-pass-type Attribute Grammar . . . . 229--250
V. C. Galpin and
S. T. Rock A Lift Simulation Prototype . . . . . . 251--270
Ari Jaaksi Implementing Interactive Applications in
C++ . . . . . . . . . . . . . . . . . . 271--289
Volker Strumpen Coupling Hundreds of Workstations for
Parallel Molecular Sequence Analysis . . 291--304
Ian Toyn and
John A. McDermid CADiZ: An Architecture for Z Tools and
its Implementation . . . . . . . . . . . 305--330
Justin Zobel and
Philip W. Dart Finding Approximate Matches in Large
Lexicons . . . . . . . . . . . . . . . . 331--345
Dick Hamlet Implementing Prototype Testing Tools . . 347--371
Sarah E. Chodrow and
Mohamed G. Gouda Implementation of the Sentry System . . 373--387
Willard Korfhage and
Arthur P. Goldberg Hermes Language Experiences . . . . . . 389--402
Michel Gauthier The Avatars of a Package for Calendars
in Ada . . . . . . . . . . . . . . . . . 403--427
Jerry Yan and
Sekhar Sarukkai and
Pankaj Mehra Performance Measurement, Visualization
and Modeling of Parallel and Distributed
Programs using the AIMS Toolkit . . . . 429--461
Pieter W. M. Koopman and
M. C. J. D. van Eekelen and
M. J. Plasmeijer Operational Machine Specification in a
Functional Programming Language . . . . 463--499
Paolo Corsini and
Lanfranco Lopriore An Implementation of Storage Management
in Capability Environments . . . . . . . 501--520
Guido Russo and
Stefano Russo and
Benôit Pirenne An Operating System Independent WORM
Archival System . . . . . . . . . . . . 521--531
Ee-Peng Lim and
San-Yih Hwang and
Jaideep Srivastava and
Dave Clements and
M. Ganesh Myriad: Design and Implementation of a
Federated Database Prototype . . . . . . 533--562
Jon Knight and
Steve Guest Using Multicast Communications to
Distribute Code and Data in Wide Area
Networks . . . . . . . . . . . . . . . . 563--577
A. Arnold and
S. Brlek Automatic Verification of Properties in
Transition Systems . . . . . . . . . . . 579--596
Yuan-Shin Hwang and
Bongki Moon and
Shamik D. Sharma and
Ravi Ponnusamy and
Raja Das and
Joel H. Saltz Runtime and Language Support for
Compiling Adaptive Irregular Programs on
Distributed-memory Machines . . . . . . 597--621
Kai Tödter and
Carsten Hammer and
Werner Struckmann PARC++: A Parallel C++ . . . . . . . . . 623--636
Clinton L. Jeffery and
Ralph E. Griswold and
Gregg M. Townsend Adding Graphics to a High-level
Programming Language . . . . . . . . . . 637--655
Pierpaolo Degano and
Corrado Priami Comparison of Syntactic Error Handling
in LR Parsers . . . . . . . . . . . . . 657--679
Antonino Mazzeo and
Umberto Villano Parallel 1D-FFT Computation on
Constant-valence Multicomputers . . . . 681--704
Alan Burns and
A. J. Wellings Engineering a Hard Real-time System:
From Theory to Practice . . . . . . . . 705--726
Thierry Lecroq Experimental Results on String Matching
Algorithms . . . . . . . . . . . . . . . 727--765
Rok Sosi\vc A Procedural Interface for Program
Directing . . . . . . . . . . . . . . . 767--787
Terence J. Parr and
Russell W. Quong ANTLR: A Predicated-LL(k) Parser
Generator . . . . . . . . . . . . . . . 789--810
Christina Cifuentes and
K. John Gough Decompilation of Binary Programs . . . . 811--829
Randall A. Helzerman and
Carla B. Zoltowski and
Boon-Lock Yeo and
Yin Chan and
Todd Stewart and
Bryan L. Pellom Implementation Issues in the Development
of the PARSEC Parser . . . . . . . . . . 831--862
Gerald Baumgartner and
Vincent F. Russo Signatures: A Language Extension for
Improving Type Abstraction and Subtype
Polymorphism in C++ . . . . . . . . . . 863--889
Justin Zobel and
Alistair Moffat Adding Compression to a Full-text
Retrieval System . . . . . . . . . . . . 891--903
Keld Helsgaun CBack: A Simple Tool for Backtrack
Programming in C . . . . . . . . . . . . 905--934
Mark Kahrs The Heart of IGES . . . . . . . . . . . 935--946
P. W. Grant and
J. A. Sharp and
M. F. Webster and
X. Zhang Experiences of Parallelising
Finite-element Problems in a Functional
Style . . . . . . . . . . . . . . . . . 947--974
Ole Agesen and
Jens Palsberg and
Michael I. Schwartzbach Type Inference of SELF: Analysis of
Objects with Dynamic and Multiple
Inheritance . . . . . . . . . . . . . . 975--995
Amiram Yehudai and
Fernando Libedinsky On Tuning Recursive Procedures . . . . . 997--1002
Rod Adams and
Sue Gray Using Conditional Execution to Exploit
Instruction Level Concurrency . . . . . 1003--1020
Richard Lai Using PROTEAN for Verifying a Complex
Protocol --- A Case Study . . . . . . . 1021--1044
H. K. Wang and
Jean-Lien C. Wu Interactive Hypermedia Applications: A
Model and its Implementation . . . . . . 1045--1063
Christian Huemer and
Gerti Kappel and
Stefan Vieweg Migration in Object-oriented Database
Systems --- A Practical Approach . . . . 1065--1096
William H. Hsu and
Amy E. Zwarico Automatic synthesis of compression
techniques for heterogeneous files . . . 1097--1116
Paul Ashton and
John Penny A Tool for Visualizing the Execution of
Interactions on a Loosely-coupled
Distributed System . . . . . . . . . . . 1117--1140
Neil Dunstan and
Ivan Fris Process Scheduling and UNIX Semaphores 1141--1153
Samuel Ajila Software Maintenance: An Approach to
Impact Analysis of Objects Change . . . 1155--1181
Peter Lüders and
Rolf Ernst and
Stefan Stille An Approach to Automatic Display Layout
Using Combinatorial Optimization
Algorithms . . . . . . . . . . . . . . . 1183--1202
Ari Jaaksi Object-oriented Specification of User
Interfaces . . . . . . . . . . . . . . . 1203--1221
Sunil Magavi and
Johnny Wong and
Prakash Bodla Design and Implementation of
Heterogeneous Distributed Multimedia
System using Mosaic GSQL . . . . . . . . 1223--1241
Johnson M. Hart Experience with Logical Code Analysis in
Software Maintenance . . . . . . . . . . 1243--1262
Peter T. Breuer and
Jonathan P. Bowen A PREttier Compiler-Compiler: Generating
Higher-order Parsers in C . . . . . . . 1263--1297
Gordon Lyon and
Raghu Kacker and
Arnaud Linz A Scalability Test for Parallel Code . . 1299--1314
Hans-Juergen Boehm and
Russ Atkinson and
Michael F. Plass Ropes: An Alternative to Strings . . . . 1315--1330
Marc M. Brandis and
R. Crelier and
Michael Franz and
Josef Templ The Oberon system family . . . . . . . . 1331--1366
Wayne Citrin and
Alistair Cockburn and
Jürg von Känel and
Rainer Hauser Using Formalized Temporal Message-flow
Diagrams . . . . . . . . . . . . . . . . 1367--1401
David Mosberger and
Peter Druschel and
Larry L. Peterson Implementing Atomic Sequences on
Uniprocessors Using Rollforward . . . . 1--23
G. Canfora and
Aniello Cimitile and
M. Munro An Improved Algorithm for Identifying
Objects in Code . . . . . . . . . . . . 25--48
Koenraad De Bosschere and
Paul Tarau Blackboard-based Extensions in Prolog 49--69
Johnny Wong and
Sriram Kini and
Kishore Doobagunta Synchronization in Specification-based
Multimedia Presentations . . . . . . . . 71--81
Richard Lai and
A. Lo EASE : A Software Environment for
Automatic Implementation of Application
Protocol . . . . . . . . . . . . . . . . 83--103
Toong Shoon Chan and
Ian Gorton Formal Validation of a High Performance
Error Control Protocol Using SPIN . . . 105--124
Ronald A. Olsson and
Carole M. McNamee Experience Using the C Preprocessor to
Implement CCR, Monitor, and CSP
Preprocessors for SR . . . . . . . . . . 125--134
George Triantafyllos and
Stamatis Vassiliadis Software Reliability Models for Computer
Implementations --- An Empirical Study 135--164
A. Jefferson Offutt and
Jie Pan and
Kanupriya Tewary and
Tong Zhang An Experimental Evaluation of Data Flow
and Mutation Testing . . . . . . . . . . 165--176
Charles L. A. Clarke and
David V. Mason Compacting Garbage Collection can be
Fast and Simple . . . . . . . . . . . . 177--194
Panos Kougiouris and
Graham Hamilton Buffer Management Issues in the
Implementation of Fast Interprocess
Communication . . . . . . . . . . . . . 195--211
Hirotomo Okuno and
Hideki Matsumoto and
Hironori Asai TableSpec: Free Format Specification
Table and Source Code Generation . . . . 213--235
D. Weber and
M. Spezialetti and
H. Barada VidNet: Distributed Processing
Environment for Computer Generated
Animation . . . . . . . . . . . . . . . 237--250
Angelo Monfroglio Timetabling Through Constrained
Heuristic Search and Genetic Algorithms 251--279
Kristy Andrews and
Paul Del Vigna and
Mark Molloy Macro and File Structure Preservation in
Source-to-source Translation . . . . . . 281--292
Iain MacCallum Round-Pound Arithmetic . . . . . . . . . 293--307
Harold Thimbleby An Equivalence Class Algorithm for
Drawing Autostereograms . . . . . . . . 309--325
Edward Mascarenhas and
Vernon Rego Ariadne: Architecture of a Portable
Threads System Supporting Thread
Migration . . . . . . . . . . . . . . . 327--356
Kiem-Phong Vo Vmalloc: A General and Efficient Memory
Allocator . . . . . . . . . . . . . . . 357--374
Lars C. Wolf and
Wolfgang Burke and
Carsten Vogt Evaluation of a CPU Scheduling Mechanism
for Multimedia Systems . . . . . . . . . 375--398
Stephen G. Eick and
Paul J. Lucas Displaying Trace Files . . . . . . . . . 399--409
Janak Mulani and
Arun Bahulkar A Graphical Navigator for Viewing
Databases . . . . . . . . . . . . . . . 411--426
Goetz Graefe Iterators, Schedulers, and
Distributed-memory Parallelism . . . . . 427--452
Pei-Chi Wu and
Feng-Jian Wang On Efficiency and Optimization of C++
Programs . . . . . . . . . . . . . . . . 453--465
Norman Ramsey A Simple Solver for Linear Equations
Containing Nonlinear Operators . . . . . 467--487
Peter M. Fenwick A New Data Structure for Cumulative
Probability Tables: An Improved
Frequency-to-Symbol Algorithm . . . . . 489--490
S. Fäustle and
M. G. Fugini and
E. Damiani Retrieval of Reusable Components using
Functional Similarity . . . . . . . . . 491--530
Douglas R. Hellmann and
Mitchell L. Patterson and
Robert L. Cannon and
Philip D. Moore and
Christopher G. St. C. Kendall Tools for Visual and Numerical Data
Entry . . . . . . . . . . . . . . . . . 531--544
Marek Machura Managing Information in a Co-operative
Object Database System . . . . . . . . . 545--579
Yosi Ben-Asher and
Dror G. Feitelson and
Larry Rudolph ParC --- An Extension of C for Shared
Memory Parallel Processing . . . . . . . 581--612
Alberto Avritzer and
Elaine J. Weyuker Deriving Workloads for Performance
Testing . . . . . . . . . . . . . . . . 613--633
Roberto Ierusalimschy and
Luiz Henrique de Figueiredo and
Waldemar Celes Filho Lua --- an Extensible Extension Language 635--652
Greger Lindén and
Henry Tirri and
A. Inkeri Verkamo ALCHEMIST: A General Purpose
Transformation Generator . . . . . . . . 653--675
Johnny S. Wong and
Deepa S. Parthasarathy Remote Access to Multimedia Databases:
An Object Oriented Approach . . . . . . 677--704
L. Mummert and
M. Satyanarayanan Long Term Distributed File Reference
Tracing: Implementation and Experience 705--736
C. H. Levy and
L. H. De Figueiredo and
M. Gatass and
C. J. P. Lucena and
D. D. Cowan IUP/LED: A Portable User Interface
Development Tool . . . . . . . . . . . . 737--762
Koen De Bosschere An Operator Precedence Parser for
Standard Prolog Text . . . . . . . . . . 763--779
Alistair Moffat and
Gary Eddy and
Ola Petersson Splaysort: Fast, Versatile, Practical 781--797
A. Parrish and
D. Cordes and
R. Borie and
S. Edara Illustrating Client and Implementation
Readability Tradeoffs in Ada and C++ . . 799--814
Shih-Chien Chou and
Jen-Yen Chen and
Chyan-Goei Chung A Behavior-based Classification and
Retrieval Technique for Object-oriented
Specification Reuse . . . . . . . . . . 815--832
Hanspeter Mössenböck and
Kai Koskimies Active Text for Structuring and
Understanding Source Code . . . . . . . 833--850
A. Monfroglio Hybrid Genetic Algorithms for a
Rostering Problem . . . . . . . . . . . 851--862
J. R. Firth and
C. H. Forsyth and
I. C. Wand The Compilation of Ada . . . . . . . . . 863--909
Waldemar Wieczerzycki Software Reusability through Versions 911--927
David W. Goodwin and
Kent D. Wilken Optimal and Near-optimal Global Register
Allocation Using $0$-$1$ Integer
Programming . . . . . . . . . . . . . . 929--965
T. R. Hopkins Restructuring Software: A Case Study . . 967--982
Divya Prasad Software Quality Assurance and
Measurement. A Worldwide Perspective,
Edited by Norman Fenton, Robin Whitty
and Yoshinori Lizuka, International
Thomson Computer Press, 1995. Price:
\pounds35. No. of pages: 315. . . . . . 983--983
H. Chuck Yoo Comparative Analysis of Asynchronous I/O
in Multithreaded UNIX . . . . . . . . . 987--997
Mehme