Volume 15, Number 1, January 1985
R. Geoff Dromey
: Program Development by Inductive Stepwise Refinement.
: On Implicit Data Structures for Priority Queues.
: Structural Dimensions of Small Programming Environments.
Volume 15, Number 2, February 1985
Volume 15, Number 3, March 1985
: Optimization of Expression Syntax: an Experimental Approach.
M. I. Jackson
: Developing Ada Programs Using the Vienna Development Method (VDA).
Volume 15, Number 4, April 1985
E. A. Onibere
: Writing Portable Fortran Programs for Microcomputer.
B. S. Carter
: NEWLONG: A Program for Manipulation of Data on Populations of Individuals Subject to Change.
Paul A. Bailes
: A Low-Cost Implementation of Coroutines for C.
M. G. Cox
: Topic Libraries for Mathematical Computation.
Volume 15, Number 5, May 1985
M. C. Er
: Practical Considerations of Global and Local Variables.
: CWSH: The Windowing Shell of the Maryland Window System.
Volume 15, Number 6, June 1985
: A Debugger for Concurrent Programs.
R. E. M. Cooper
: On Squeezing the UNIX Quart into a Data General Eclipse Pint Pot.
Darrel C. Ince
: A Program Design Language Based Software Maintenance Tool.
: The University of Salford Lisp/Prolog System.
Volume 15, Number 7, July 1985
W. F. Clocksin
: Implementation Techniques for Prolog Databases.
John D. Pryce
: Experiences with Writing Library Software for an Attached Processor.
Volume 15, Number 8, August 1985
J. R. Parker
: A General Character to Integer Conversion Method.
: Combining MASCOT with Modula-2 to aid the Engineering of Real-time Systems.
Volume 15, Number 9, September 1985
Volume 15, Number 10, October 1985
J. A. Anyanwu
: A Reliable Stable Storage System for UNIX.
Marc C. Lobelle
: Integration of Diskless Workstations in UNIX United.
Paul A. Bailes
: DDA - A Data Definition Facility for UNIX Using Awk.
Volume 15, Number 11, November 1985
Volume 15, Number 12, December 1985