default search action
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
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, David 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 - Olumide Owolabi, Douglas R. McGregor:
Fast Approximate String Matching. 387-393
Volume 18, Number 5, May 1988
- David Vernon
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 - Barry J. Cornelius:
Problems with the Language Modula-2. 529-543 - K. L. Wrench:
CSP-i: An Implementation of Communicating Sequential Processes. 545-560 - Ian 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
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 D. 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, João Paulo Cunha, Paulo Guedes, Nuno Guimarães
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 - Keith 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 - Kiem-Phong 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-23 19:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: