default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSoftware - 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
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, David 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, Tim 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 - John 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 - Neil D. Gammage, R. F. Kamel, Liam M. Casey:
Remote Rendezvous. 741-755
Volume 17, Number 11, November 1987
- Jurgen Annevelink, Patrick M. 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
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 2026-09-02 00:57 CEST 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, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
