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

Volume 17, Number 2, February 1987

• 
  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

Volume 17, Number 3, March 1987

• 
  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

Volume 17, Number 4, April 1987

• 
  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

Volume 17, Number 5, May 1987

• 
  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

Volume 17, Number 6, June 1987

• 
  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

Volume 17, Number 7, July 1987

• 
  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

Volume 17, Number 8, August 1987

• 
  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

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
• 
  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

Volume 17, Number 10, October 1987

• 
  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

Volume 17, Number 11, November 1987

• 
  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

Volume 17, Number 12, December 1987

• 
  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

last updated on Wed May 22 06:09:16 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page