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 BibTeX
R. Geoff Dromey: Forced Termination of Loops. 29-39 BibTeX
Dale H. Grit, James R. McGraw: Programming Divide and Conquer for a MIMD Machine. 41-53 BibTeX
A. Perko: On Implicit Data Structures for Priority Queues. 55-57 BibTeX
S. Panchapakesan, S. Subramanian, H. Venkateswaran: An Interactive Assembly Level Debugging System. 59-64 BibTeX
Philip Leith: An IKBS Implementation. 65-86 BibTeX
Kirby W. Fong: The NMFECC Cray Time-Sharing System. 87-103 BibTeX
Gordon Lyon: Structural Dimensions of Small Programming Environments. 105-117 BibTeX

Volume 15, Number 2, February 1985

Geoffrey George, James F. Leathrum: Orthogonality of Concerns in Module Closure. 119-130 BibTeX
Rob Pike, Bart N. Locanthi, John Reiser: Hardware/Software Trade-offs for Bitmap Graphics on the Blit. 131-151 BibTeX
Thomas A. Cargill: Implementation of the Blit Debugger. 153-168 BibTeX
William F. Appelbe, Klaus Hansen: A Survey of Systems Programming Languages: Concepts and Facilities. 169-190 BibTeX
Uday G. Gujar, Frank W. L. So: A Flexible Software Character Generator. 191-218 BibTeX
Philip Wadler: A Simple Language is also a Functional Language. 219 BibTeX

Volume 15, Number 3, March 1985

William M. Waite, Lynn Robert Carter: The Cost of a Generated Parser. 221-237 BibTeX
Colin Stirling: Follow Set Error Recovery. 239-257 BibTeX
L. N. Lester, H. A. Thelander: A SIMULA Program to Automate Wire-wrap Schedule Generation. 259-268 BibTeX
Eberhard Bertsch: Optimization of Expression Syntax: an Experimental Approach. 269-276 BibTeX
S. Saxena, J. A. Field: Portable Real-Time Software for 8-bit Microprocessors. 277-303 BibTeX
M. I. Jackson: Developing Ada Programs Using the Vienna Development Method (VDA). 305-318 BibTeX

Volume 15, Number 4, April 1985

E. A. Onibere: Writing Portable Fortran Programs for Microcomputer. 321-326 BibTeX
Harald Ganzinger, Walter Willmertinger: FOAM: A Two-Level Approach to Text Formatting on a Microcomputer System. 327-341 BibTeX
Tomaoo Nakamura, Katsuo Ikeda, Yoshihiko Ebihara, Masafumi Nishikawa: Network Management in a Local Computer Network. 343-358 BibTeX
N. H. White, Keith H. Bennett: Run-time Diagnostics in Pascal. 359-367 BibTeX
B. S. Carter: NEWLONG: A Program for Manipulation of Data on Populations of Individuals Subject to Change. 369-377 BibTeX
Paul A. Bailes: A Low-Cost Implementation of Coroutines for C. 379-395 BibTeX
M. G. Cox: Topic Libraries for Mathematical Computation. 397-411 BibTeX
J. M. Dubery, A. J. Pinches: Software for an Air Pollution Measuring System: an Application of Modula. 413-422 BibTeX

Volume 15, Number 5, May 1985

György E. Révész: A Note on Macro Generation. 423-426 BibTeX
P. W. Garratt, G. G. Michaelson: Analysis and Design for a Standard Transport Protocol. 427-438 BibTeX
Richard A. Kemmerer, Steven T. Eckman: UNISEX: A UNIX-based Symbolic EXecutor for Pascal. 439-458 BibTeX
John C. Knight, James L. Russel: Software Development Tools for Microcontrollers. 459-472 BibTeX
H. R. Bruestle, D. M. Snider, K. D. Russel, H. D. Stewart: ISDMS-A Scientific Data Management System. 473-487 BibTeX
Frank J. Dudinsky, Richard C. Holt, Safwat G. Zaky: SRE-A Syntax Recognizing Editor. 489-497 BibTeX
M. C. Er: Practical Considerations of Global and Local Variables. 499-502 BibTeX
R. Nigel Horspool, André Scheunemann: Automating the Selection of Code Templates. 503-514 BibTeX
Mark Weiser: CWSH: The Windowing Shell of the Maryland Window System. 515-519 BibTeX
R. E. M. Cooper, Bruce J. McKenzie, R. Harries: Extensions to a Microcoded Pascal Compiler. 519-522 BibTeX

Volume 15, Number 6, June 1985

Hugo T. Jankowitz, Paul W. Kilfoil, Ilana Rabkin, Stephen R. Schach: A Portable High-level Database Debugger and Software Performance Monitor. 523-538 BibTeX
Jason Gait: A Debugger for Concurrent Programs. 539-554 BibTeX
Narain H. Gehani: Ada's Derived Types and Units of Measure. 555-569 BibTeX
R. E. M. Cooper: On Squeezing the UNIX Quart into a Data General Eclipse Pint Pot. 571-581 BibTeX
Darrel C. Ince: A Program Design Language Based Software Maintenance Tool. 583-594 BibTeX
D. Bailey: The University of Salford Lisp/Prolog System. 595-609 BibTeX
Cowling J. Cowling, J. J. McGregor: HANDIN-A System for Helping with the Teaching of Programming. 611-622 BibTeX

Volume 15, Number 7, July 1985

Jose Felipe Contla: Compact Coding of Syntactically Correct Source Programs. 625-636 BibTeX
Walter F. Tichy: RCS - A System for Version Control. 637-654 BibTeX
Malcolm C. Newey, William M. Waite: The Robust Implementation of Sequence-Controlled Iteration. 655-668 BibTeX
W. F. Clocksin: Implementation Techniques for Prolog Databases. 669-675 BibTeX
Teruo Hikita, Kiyoshi Ishihata: A Method of Program Transformation between Variable Sharing and Message Passing. 677-692 BibTeX
Silvano Gai, Marco Mezzalama: Dynamic Storage Allocation: Experiments Using the C Language. 693-704 BibTeX
John D. Pryce: Experiences with Writing Library Software for an Attached Processor. 705-714 BibTeX
T. Anthony Marsland: Management of Block-structured Programs. 715-723 BibTeX

Volume 15, Number 8, August 1985

Amnon Barak, Ami Litman: MOS: A Multicomputer Distributed Operating System. 725-737 BibTeX
Kenneth H. Sears, Alan E. Middleditch: Software Concurrency in Real Time Control Systems. 739-759 BibTeX
J. R. Parker: A General Character to Integer Conversion Method. 761-766 BibTeX
David Budgen: Combining MASCOT with Modula-2 to aid the Engineering of Real-time Systems. 767-793 BibTeX
K. G. H. Allen, S. Perry: A VLSI Interactive Layout Editor (VILRE). 795-806 BibTeX
Simon L. Peyton Jones: Yacc in Sasl-an Exercise in Functional Programming. 807-820 BibTeX
Robert D. Tennent: A Comparison of the ANSI and ISO Pascal Word Standards. 821-822 BibTeX

Volume 15, Number 9, September 1985

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

Volume 15, Number 10, October 1985

S. Sitharama Iyengar, Hsi Chang: Efficient Algorithms to Create and Maintain Balanced and Threaded Binary. 925-941 BibTeX
Hong-Tai Chou, David J. DeWitt, Randy H. Katz, Anthony C. Klug: Design and Implementation of the Wisconsin Storage System. 943-962 BibTeX
R. De Bruin, C. G. Van der Laan: The Creation of a Virtual NAG-Algol 68 Program Library. 963-972 BibTeX
J. A. Anyanwu: A Reliable Stable Storage System for UNIX. 973-990 BibTeX
A. D. Vella: Compilers - Some Good, Some Bad!. 991-996 BibTeX
Marc C. Lobelle: Integration of Diskless Workstations in UNIX United. 997-1010 BibTeX
Paul A. Bailes: DDA - A Data Definition Facility for UNIX Using Awk. 1011-1020 BibTeX
Robert L. Bernstein: Producing Good Code for the Case Statement. 1021-1024, BibTeX correction: SPE 24 : 233 (February 1994)

Volume 15, Number 11, November 1985

Webb Miller, Eugene W. Myers: A File Comparison Program. 1025-1040 BibTeX
N. H. White, Keith H. Bennett: PRTDS - A Pascal Run-Time Diagnostics System. 1041-1056 BibTeX
Mark Woodman, Darrel C. Ince: A Software Tool for the Construction and Maintenance of Structured Analysis Notation. 1057-1072 BibTeX
Edward T. Smith: A Debugger for Message-based Processes. 1073-1086 BibTeX
G. M. Tomlinson, D. Keeffe, I. C. Wand, Andy J. Wellings: The PULSE Distributed File System. 1087-1101 BibTeX
Chris R. Jesshope, M. J. Crawley, G. L. Lovegrove: An Intelligent Pascal Editor for a Graphical Oriented Workstation. 1103-1119 BibTeX
William M. Waite: Treatment of Tab Characters by a Compiler. 1121-1123 BibTeX

Volume 15, Number 12, December 1985

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