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

Volume 15, Number 2, February 1985

• 
  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

Volume 15, Number 3, March 1985

• 
  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

Volume 15, Number 4, April 1985

• 
  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

Volume 15, Number 5, May 1985

• 
  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

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
• 
  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

Volume 15, Number 7, July 1985

• 
  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

Volume 15, Number 8, August 1985

• 
  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

Volume 15, Number 9, September 1985

• 
  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

Volume 15, Number 10, October 1985

• 
  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))

Volume 15, Number 11, November 1985

• 
  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

Volume 15, Number 12, December 1985

• 
  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

last updated on Wed May 22 06:09:16 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page