Software - Practice and Experience (SPE), Volume 15, 1985

Volume 15, Number 1, January 1985

R. Geoff Dromey: Program Development by Inductive Stepwise Refinement. 1-28
R. Geoff Dromey: Forced Termination of Loops. 29-39
Dale H. Grit, 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, S. Subramanian, 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, James F. Leathrum: Orthogonality of Concerns in Module Closure. 119-130
Rob Pike, Bart N. Locanthi, 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, Klaus Hansen: A Survey of Systems Programming Languages: Concepts and Facilities. 169-190
Uday G. Gujar, Frank W. L. So: A Flexible Software Character Generator. 191-218
Philip Wadler: A Simple Language is also a Functional Language. 219

William M. Waite, Lynn Robert Carter: The Cost of a Generated Parser. 221-237
Colin Stirling: Follow Set Error Recovery. 239-257
L. N. Lester, 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, 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, Walter Willmertinger: FOAM: A Two-Level Approach to Text Formatting on a Microcomputer System. 327-341
Tomaoo Nakamura, Katsuo Ikeda, Yoshihiko Ebihara, Masafumi Nishikawa: Network Management in a Local Computer Network. 343-358
N. H. White, Keith 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, 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, G. G. Michaelson: Analysis and Design for a Standard Transport Protocol. 427-438
Richard A. Kemmerer, Steven T. Eckman: UNISEX: A UNIX-based Symbolic EXecutor for Pascal. 439-458
John C. Knight, James L. Russel: Software Development Tools for Microcontrollers. 459-472
H. R. Bruestle, D. M. Snider, K. D. Russel, H. D. Stewart: ISDMS-A Scientific Data Management System. 473-487
Frank J. Dudinsky, Richard C. Holt, 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, 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, Bruce J. McKenzie, R. Harries: Extensions to a Microcoded Pascal Compiler. 519-522

Hugo T. Jankowitz, Paul W. Kilfoil, Ilana Rabkin, 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
Darrel C. Ince: A Program Design Language Based Software Maintenance Tool. 583-594
D. Bailey: The University of Salford Lisp/Prolog System. 595-609
Cowling J. Cowling, 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
Malcolm C. Newey, William M. Waite: The Robust Implementation of Sequence-Controlled Iteration. 655-668
W. F. Clocksin: Implementation Techniques for Prolog Databases. 669-675
Teruo Hikita, Kiyoshi Ishihata: A Method of Program Transformation between Variable Sharing and Message Passing. 677-692
Silvano Gai, Marco Mezzalama: Dynamic Storage Allocation: Experiments Using the C Language. 693-704
John D. Pryce: Experiences with Writing Library Software for an Attached Processor. 705-714
T. Anthony Marsland: Management of Block-structured Programs. 715-723

Amnon Barak, Ami Litman: MOS: A Multicomputer Distributed Operating System. 725-737
Kenneth H. Sears, Alan E. Middleditch: Software Concurrency in Real Time Control Systems. 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
K. G. H. Allen, 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

Johannes C. van Vliet, H. M. Gladney: An Evaluation of Tagging. 823-837
David M. Harland: Towards a Language for Concurrent Processes. 839-888
R. J. Dakin, B. R. Lederer, Ken R. Parker: A Large Scale Network Storage Facility. 889-899
Amnon Barak, Amnon Shiloh: A Distributed Load-balancing Policy for a Multicomputer. 901-913
Michael J. Rees, David J. Robson: Video-Slide: A Presentation Aid for the BBC Microcomputer. 915-923

S. Sitharama Iyengar, Hsi Chang: Efficient Algorithms to Create and Maintain Balanced and Threaded Binary. 925-941
Hong-Tai Chou, David J. DeWitt, Randy H. Katz, Anthony C. Klug: Design and Implementation of the Wisconsin Storage System. 943-962
R. De Bruin, 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, correction: SPE 24 : 233 (February 1994)

Webb Miller, Eugene W. Myers: A File Comparison Program. 1025-1040
N. H. White, Keith H. Bennett: PRTDS - A Pascal Run-Time Diagnostics System. 1041-1056
Mark Woodman, Darrel 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
G. M. Tomlinson, D. Keeffe, I. C. Wand, Andy J. Wellings: The PULSE Distributed File System. 1087-1101
Chris R. Jesshope, M. J. Crawley, G. L. Lovegrove: An Intelligent Pascal Editor for a Graphical Oriented Workstation. 1103-1119
William M. Waite: Treatment of Tab Characters by a Compiler. 1121-1123

Gordon S. Blair, Jon R. Malone, John A. Mariani: A Critique of UNIX. 1125-1139
Derek Partridge: Specifications and an Implementation of the Type-ambiguity Problem in Pascal. 1141-1158
Massimo Ancona, Andrea Clematis, Gabriella Dodero, A. Pino: A High Level Language Based System for Cross-Assembler Definition. 1159-1184
Christoph M. Hoffmann, Michael J. O'Donnell, Robert Strandh: Implementation of an Interpreter for Abstract Equations. 1185-1204
David R. Hanson: Compact Recursive-descent Parsing of Exptressions. 1205-1212