Software - Practice and Experience (SPE), Volume 17, 1987

Volume 17, Number 1, January 1987

• H. W. Glasner, P. Thompson: Lazy Garbage Collection. 1-4 BibTeX
• John B. Smith, Stephen F. Weiss: Formatting Texts Accessed Randomly. 5-16 BibTeX
• Tsunetoshi Hayashi: Transporting TEX into the HITAC VOS3 Environment. 17-28 BibTeX
• Per Brinch Hansen: Joyce - A Programming Language for Distributed Systems. 29-50 BibTeX
• Peter Honeyman, Patricia E. Parseghian: Parsing Ambiguous Addresses for Electronic Services. 51-60 BibTeX
• Lawrence A. Rowe, Michael Davis, Eli Messinger, Carl Mayer, Charles Spirakis, Allen Tuan: A Browser for Directed Graphs. 61-76 BibTeX

Volume 17, Number 2, February 1987

• Jacob Katzenelson, Avy Strominger: Debugging Programs that use Macro-Oriented Data Abstractions. 79-103 BibTeX
• Paul Walton Purdom Jr., Cynthia A. Brown: Tree Matching and Simplification. 105-115 BibTeX
• Gregory Butler, Matthew J. Kendall: The Suitability for Master/Slave Concurrency of Concurrent Euclid, Ada and Modula. 117-134 BibTeX
• Marc Roper, P. Smith: A Structural Testing Method for JSP Designed Programs. 135-157 BibTeX
• J. C. Huang: A Depth-first and Tool-supportable Programming Strategy. 159-163 BibTeX

Volume 17, Number 3, March 1987

• K. G. Kulkarni, Malcolm P. Atkinson: Implementing an Extended Functional Data Model Using PS-algol. 171-185 BibTeX
• Yuval Lirov, Nissim Daunov: An Integrated Data Dictionary to Facilitate Automatic Report Generation in a Network Database. 187-195 BibTeX
• Jørgen Born Rasmussen, William F. Appelbe: Real-time Interrupt Handling in Ada. 197-213 BibTeX
• Marek Gondzio: Microprocessor Debugging Techniques and Their Application in Debugger Design. 215-226 BibTeX
• Fun Ting Chan, Tsong Yueh Chen: AIDA-A Dynamic Data Flow Anomaly Detection System for Pascal Programs. 227-239 BibTeX

Volume 17, Number 4, April 1987

• Malcolm S. Powell: Strongly Typed User Interfaces in an Abstract Data Store. 241-266 BibTeX
• Per Brinch Hansen: A Joyce Implementation. 267-276 BibTeX
• Barton P. Miller, David L. Presotto, Michael L. Powell: DEMOS/MP: The Development of a Distributed Operating System. 277-290 BibTeX
• Anders Ardö: Experience Acquiring and Retargeting a Portable Ada Computer. 291-307 BibTeX

Volume 17, Number 5, May 1987

• Ariel Pashtan: A Prolog Implementation of an Instruction-level Processor Simulator. 309-318 BibTeX
• Jan van Katwijk: Addressing Types and Objects in Ada. 319-343 BibTeX
• Manfred Weber: Operating-system Enhancements for a Fault-tolerant Dual-processor Structure for the Control of an Industrial Process. 345-350 BibTeX
• Harold W. Thimbleby: The Design of a Terminal Independent Package. 351-367 BibTeX

Volume 17, Number 6, June 1987

• R. Nigel Horspool, Michael R. Levy: Mkscan - A Interactive Scanner Generator. 369-378 BibTeX
• Jon Fairbairn: Making Form Follow Function: An Exercise in Functional Programming Style. 379-386 BibTeX
• Robert Cole: A Method for Interconnecting Heterogeneous Computer Networks. 387-397 BibTeX
• Toshinori Munakata, D. Yun Yeh: Multiple Stack Performance Near Saturation. 399-411 BibTeX
• R. Nigel Horspool, Gordon V. Cormack: Hashing as a Compaction Technique for LR Parser Tables. 413-416 BibTeX
• Andrew W. Appel, Kenneth J. Supowit: Generalization of the Sethi-Ullman Algorithm for Register Allocation. 417-421 BibTeX

Volume 17, Number 7, July 1987

• Derrick G. Kourie: The Design and Use of a Prolog Trace Generator for CSP. 423-438 BibTeX
• James S. Briggs: Generating Reversible Programs. 439-453 BibTeX
• Malcolm K. Crowe: Dynamic Compilation in the Unix Environment. 455-467 BibTeX
• Jürg Gutknecht: One-pass Compilation at its Limits-A Modula-2 Compiler for the Xerox Dragon Computer. 469-484 BibTeX

Volume 17, Number 8, August 1987

• Eric Foxley: Music-A Language for Typesetting Music Scores. 485-502 BibTeX
• Stephen C. Dewhurst: Flexible Symbol Table Structures for Compiling C++. 503-512 BibTeX
• C. F. Reynolds: The Use of Colour in Language Syntax Analysis. 513-519 BibTeX
• W. R. van Biljon, D. A. Sewry, M. A. Mulders: Register Allocation in a Pattern Matching Code Generator. 521-531 BibTeX
• John G. Hughes, Michelle Connolly: A Portable Implementation of a Modular Multiprocessing Database Programming Language. 533-546 BibTeX
• Rafael Dueire Lins: On the Efficiency of Categorical Combinators as a Rewriting System. 547-559 BibTeX

Volume 17, Number 9, September 1987

• M. A. Broom, T. R. Hopkins: The Implementation and Use of Toolpack/1 on a Graphics Workstation. 561-573 BibTeX
• Susan Stepney, Stephen P. Lord: Formal Specification of an Access Control System. 575-593 BibTeX
• Philip Wadler: Fixing some Space Leaks with a Garbage Collector. 595-608 BibTeX
• Pieter W. M. Koopman: Interactive Programs in a Functional Language: A Functional Implementation of an Editor. 609-622 BibTeX
• Frans van Hoeve, Rolf Engmann: An Object-oriented Approach to Application Generation. 623-645 BibTeX
• J. D. Bovey: A Debugger for a Graphical Workstation. 647-662 BibTeX

Volume 17, Number 10, October 1987

• Ronald H. Perrott, Adib Zarea-Aliabadi: A Supercomputer Program Development System. 663-683 BibTeX
• Chris S. McDonald: fsh - A Functional UNIX Command Interpreter. 685-700 BibTeX
• William I. Bullers Jr.: A Processing Algorithm for Master-Detail Records in a Relational Database. 701-717 BibTeX
• James R. Cowie: A Direct Access Technique for Sequential Files with Variable Length Records. 719-728 BibTeX
• Matt Bishop: Profiling Under UNIX by Patching. 729-739 BibTeX
• N. D. Gammage, R. F. Kamel, L. M. Casey: Remote Rendezvous. 741-755 BibTeX

Volume 17, Number 11, November 1987

• Jurgen Annevelink, Patrick Dewilde: Object-oriented Data Management Based on Abstract Data Types. 757-781 BibTeX
• Ehud Gudes, Gilad Bracha: GCI-A Tool for Developing Interactive CAD User Interfaces. 783-799 BibTeX
• Jack W. Davidson, Christopher W. Fraser: Automatic Inference and Fast Interpretation of Peephole Optimization Rules. 801-812 BibTeX
• Rob Pike: The Text Editor sam. 813-845 BibTeX
• Pankaj Jalote: Synthesizing Implementations of Abstract Data Types from Axiomatic Specifications. 847-858 BibTeX

Volume 17, Number 12, December 1987

• Judy M. Bishop, Stephen R. Adams, David J. Pritchard: Distributing Concurrent Ada Programs by Source Translation. 859-884 BibTeX
• Alfred C. Weaver, M. Alex Colvin: A Real-time Messaging System for Token Ring Networks. 885-897 BibTeX
• Keith E. Gorlen: An Object-Oriented Class Library for C++ Programs. 899-922 BibTeX
• Titus D. M. Purdin, Richard D. Schlichting, Gregory R. Andrews: A File Replication Facility for Berkeley Unix. 923-940 BibTeX