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

Volume 17, Number 1, January 1987

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

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

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

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

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

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

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

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

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

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

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

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