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

Volume 18, Number 2, February 1988

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

Volume 18, Number 3, March 1988

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

Volume 18, Number 4, April 1988

• Luigi V. Mancini: A Technique for Subclassing and its Implementation Exploiting Polymorphic Procedures. 287-300
• 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
• Ugo de Carlini, Umberto Villano: A Simple Algorithm for Clock Synchronization in Transputer Networks. 331-347
• Cezary Dubnicki, Jan Madey, Wojciech Wygladala: Edison -N-an Edison Implementation for a Network of Microcomputers. 349-363
• Luigi Logrippo, Abdellatif Obaid, J. P. Briand, M. C. Fehri: An Interpreter for LOTOS, a Specification Language for Distributed Systems. 365-385
• O. Owolabi, D. R. McGregor: Fast Approximate String Matching. 387-393

Volume 18, Number 5, May 1988

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

Volume 18, Number 6, June 1988

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

Volume 18, Number 7, July 1988

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

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
• Gail E. Kaiser, Peter H. Feiler, Fahimeh Jalili, Johann H. Schlichter: A Retrospective on DOSE: An Interpretive Approach to Structure Editor Generation. 733-748
• Jeff Kramer, Nr Keng: Animation of Requirements Specifications. 749-774
• Jack W. Davidson, Anne M. Holler: A Study of a C Function Inliner. 775-790
• Larry L. Peterson: Dragonmail: An Exercise in Distributed Computing. 791-803

Volume 18, Number 9, September 1988

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

Volume 18, Number 10, October 1988

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

Volume 18, Number 11, November 1988

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

Volume 18, Number 12, December 1988

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