Software - Practice and Experience (SPE), Volume 18, 1988

Volume 18, Number 1, January 1988

• Alfred V. Aho, Ravi Sethi: Maintaining Cross References in Manuscripts. 1-13 BibTeX
• Larry Hughes: A Multicast Interface for UNIX 4.3. 15-27 BibTeX
• Dick Grune, Ceriel J. H. Jacobs: A Programmer-friendly LL(1) Parser Generator. 29-38 BibTeX
• Gavin R. Finnie: Unscrambling Non-sequential Programs. 39-50 BibTeX
• John M. Einbu: An Architectural Approach to Improved Program Maintainability. 51-62 BibTeX
• R. E. M. Cooper, G. Jones: A Microprogrammed occam Interpreter for the HLH Orion. 63-71 BibTeX
• Alfs T. Berztiss: Programming with Generators. 73-81 BibTeX
• Sivarama P. Dandamudi, Paul G. Sorenson: Performance Analysis of Particle-match Search Algorithms for BD Trees. 83-105 BibTeX

Volume 18, Number 2, February 1988

• Kai Koskimies, Otto Nurmi, Jukka Paakki, Seppo Sippu: The Design of a Language Processor Generator. 107-135 BibTeX
• Gerard J. Holzmann: An Improved Protocol Reachability Analysis Technique. 137-161 BibTeX
• Peter J. Brown, M. T. Russell: Converting Help Systems to Hypertext. 163-165 BibTeX

Volume 18, Number 3, March 1988

• Hyoung-Joo Kim, Henry F. Korth, Abraham Silberschatz: PICASSO: a Graphical Query Language. 169-203 BibTeX
• Robert M. Colomb: Assert, Retract and External Processes in Prolog. 205-220 BibTeX
• Russel L. Winder, Joe Nicolson: JDB: an Adaptable Interface for Debugging. 221-238 BibTeX
• Pieter H. Hartel, Arthur H. Veen: Statistics on Graph Reduction of SASL Programs. 239-253 BibTeX
• Luigi Ciminiera, Claudio Demartini, Adriano Valenzano: A Practical Study of Semi-automatic OSI Protocol Implementation. 255-277 BibTeX
• Irvin Roy Hentzel, D. J. Pokrass: A Practical Solution for a Large Sparse Matrix. 279-283 BibTeX

Volume 18, Number 4, April 1988

• Luigi V. Mancini: A Technique for Subclassing and its Implementation Exploiting Polymorphic Procedures. 287-300 BibTeX
• Les Hatton, Andy Wright, Stuart Smith, Gregg Parkes, Paddy Bennett, Robert Laws: The Seismic Kernel System-a Large-scale Exercise in Fortran 77 Portability. 301-329 BibTeX
• Ugo de Carlini, Umberto Villano: A Simple Algorithm for Clock Synchronization in Transputer Networks. 331-347 BibTeX
• Cezary Dubnicki, Jan Madey, Wojciech Wygladala: Edison -N-an Edison Implementation for a Network of Microcomputers. 349-363 BibTeX
• Luigi Logrippo, Abdellatif Obaid, J. P. Briand, M. C. Fehri: An Interpreter for LOTOS, a Specification Language for Distributed Systems. 365-385 BibTeX
• O. Owolabi, D. R. McGregor: Fast Approximate String Matching. 387-393 BibTeX

Volume 18, Number 5, May 1988

• David Vernon, Giulio Sandini: VIS: A Virtual Image System for Image-understanding Research. 395-414 BibTeX
• David W. Sandberg: Experience With an Object-oriented Virtual Machine. 415-425 BibTeX
• Tatsuo Tsuji, Katsumasa Watanabe, Athushi Ikehata: Structured FORTRAN Preprocessors Generating Optimized Output. 427-442 BibTeX
• Ivo Van Horebeek, Johan Lewi, Eddi Bevers, Luc Duponcheel, Willy Van Puymbroeck: An Exception Handling Method for Constructive Algebraic Specifications. 443-458 BibTeX
• Carl Ponder, Richard J. Fateman: Inaccuracies in Program Profilers. 459-467 BibTeX
• Jayaram Bhasker: Process-graph Analyser: A Front-end Tool for VHDL Behavioural Synthesis. 469-483 BibTeX
• Gordon V. Cormack: A Micro-Kernel for Concurrency in C. 485-491 BibTeX

Volume 18, Number 6, June 1988

• A. G. Tagg: Low-level Programming in Modula-2: an Experience with Local Area Network Access. 495-507 BibTeX
• Frank G. Pagan: Converting Interpreters into Compilers. 509-527 BibTeX
• B. J. Cornelius: Problems with the Language Modula-2. 529-543 BibTeX
• K. L. Wrench: CSP-i: An Implementation of Communicating Sequential Processes. 545-560 BibTeX
• Philip Hobley, Peter Jesty: A Recovery Block Scheme for a VAX11/750 Running Unix. 561-596 BibTeX
• Jorma Sajaniemi, Jari Pekkanen: An Empirical Analysis of Spreadsheet Calculation. 583-596 BibTeX

Volume 18, Number 7, July 1988

• Webb Miller, Eugene W. Myers: A Simple Row-replacement Method. 597-611 BibTeX
• Kelvin D. Nilsen: Garbage Collection of Strings and Linked Data Structured in Real Time. 613-640 BibTeX
• Roger Hayes, Steve W. Manweiler, Richard D. Schlichting: A Simple System for Constructing Distributed, Mixed-language Programs. 641-660 BibTeX
• Niklaus Wirth: From Modula to Oberon. 661-670 BibTeX
• Niklaus Wirth: The Programming Language Oberon. 671-690 BibTeX
• Hanspeter Mössenböck: A Convenient Way to Incorporate Semantic: Actions in Two-pass Compiling Scheme. 691-700 BibTeX
• Charles Farnum: Compiler Support for Floating-point Computation. 701-709 BibTeX

Volume 18, Number 8, August 1988

• Brian N. Bershad, Edward D. Lazowska, Henry M. Levy: PRESTO: A System for Object-oriented Parallel Programming. 713-732 BibTeX
• Gail E. Kaiser, Peter H. Feiler, Fahimeh Jalili, Johann H. Schlichter: A Retrospective on DOSE: An Interpretive Approach to Structure Editor Generation. 733-748 BibTeX
• Jeff Kramer, Nr Keng: Animation of Requirements Specifications. 749-774 BibTeX
• Jack W. Davidson, Anne M. Holler: A Study of a C Function Inliner. 775-790 BibTeX
• Larry L. Peterson: Dragonmail: An Exercise in Distributed Computing. 791-803 BibTeX

Volume 18, Number 9, September 1988

• Hans-Juergen Boehm, Mark Weiser: Garbage Collection in an Uncooperative Environment. 807-820 BibTeX
• Saumya K. Debray: Profiling Prolog Programs. 821-839 BibTeX
• Mark A. O'Neill: GPROC-An Integrated System for the Processing of Numerical Scientific Data. 841-857 BibTeX
• José Alves Marques, J. P. Cunha, Paulo Guedes, Nuno Guimarães, A. Cunha: The Distributed Operating System of the SMD Project. 859-877 BibTeX
• M. Stella Atkins, Ronald A. Olsson: Performance of Multi-tasking and Synchronization Mechanisms in the Programming Language SR. 879-895 BibTeX
• Pehong Chen, Michael A. Harrison: Index Preparation and Processing. 897-915 BibTeX
• Thomas S. Heines, Paul J. Jalics: Compiler Performance Analysis Tools. 917-921 BibTeX

Volume 18, Number 10, October 1988

• Colin J. Fidge: A LISP Implementation of the Model for `Communicating Sequential Processes'. 923-943 BibTeX
• Ravi Sharma, Lawrence L. Rose: Modular Design for Simulation. 945-966 BibTeX
• Bin Qin, Howard A. Sholl, Reda A. Ammar: RTS: A System to Simulate the Real Time Cost Behaviour of Parallel Computations. 967-985 BibTeX
• K. Halewood, Martin R. Woodward: NSEDIT: A Syntax-directed Editor and Testing Tool Based on Nassi-Shneiderman Charts. 987-998 BibTeX
• Heikki Halme: GNU Emacs as a Dynamically Extensible Programming Environment. 999-1009 BibTeX
• Chris McDonald, Trevor I. Dix: Support for Graphs of Processes in a Command Interpreter. 1011-1016 BibTeX

Volume 18, Number 11, November 1988

• Jesse H. Poore: Derivation of Local Software Quality Metrics (Software Quality Circles). 1017-1027 BibTeX
• Miquel Bertran-Salvans: On a Formal Definition and Application of Dimensional Design. 1029-1045 BibTeX
• K. P. Vo: DAG-A Program that Draws Directed Graphs. 1047-1062 BibTeX
• Andrew Hume: A Tale of Two Greps. 1063-1072 BibTeX
• Martin C. Atkins, Lee R. Nackman: The Active Deallocation of Objects in Object-oriented Systems. 1073-1089 BibTeX
• M. J. Santana, Ed Zaluska: Load Balancing in a Session Based Distributed File-store Architecture. 1091-1107 BibTeX

Volume 18, Number 12, December 1988

• P. J. Le Riche: K6-A Protected Mode Kernel for the iAPX286. 1109-1124 BibTeX
• Pat Allen, Alan Burns: Program Generation for Ada-A Case Study. 1125-1138 BibTeX
• D. J. Challab: Elastic Memory: Buddy Systems Interface. 1139-1155 BibTeX
• Narain H. Gehani, William D. Roome: Concurrent C++: Concurrent Programming with Class(es). 1157-1177 BibTeX
• James H. Griffin, Harvey J. Wasserman, Lauren P. McGavran: A Debugger for Parallel Processes. 1179-1190 BibTeX
• D. Saunders: An Addendum to G. S. Blair, J. A. Mariani and W. D. Shepherd: `Practical Extension to UNIX for Interprocess Communication'. 1191-1192 BibTeX