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
• 
  Marcos José 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

last updated on Sat May 25 06:40:04 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page