default search action
ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 11
Volume 11, Number 1, January 1989
- Peter Steenkiste
, John L. Hennessy:
A Simple Interprocedural Register Allocation Algorithm and Its Effectiveness for Lisp. 1-32 - Eugene W. Myers, Webb Miller:
Row Replacement Algorithms for Screen Editors. 33-56 - David Bernstein, Izidor Gertner:
Scheduling Expressions on a Pipelined Processor with a Maximal Delay of One Cycle. 57-66 - Jørgen Steensgaard-Madsen:
Type Representation of Objects by Functions. 67-89 - Michael J. Fischer, Nancy A. Lynch, James E. Burns, Allan Borodin:
Distributed FIFO Allocation of Identical Resources Using Small Shared Space. 90-114 - Hassan Aït-Kaci, Robert S. Boyer, Patrick Lincoln, Roger Nasr:
Efficient Implementation of Lattice Operations. 115-146 - Bowen Alpern, Fred B. Schneider:
Verifying Temporal Properties without Temporal Logic. 147-167
Volume 11, Number 2, April 1989
- Gail E. Kaiser:
Incremental Dynamic Semantics for Language-Based Programming Environments. 169-193 - Robert D. Cameron:
Efficient High-Level Iteration with Accumulators. 194-211 - Wilf R. LaLonde:
Designing Families of Data Types Using Exemplars. 212-248 - William E. Weihl:
Local Atomicity Properties: Modular Concurrency Control for Abstract Data Types. 249-283 - Vincenza Carchiolo
ECCS and LIPS: Two Languages for OSI Systems Specification and Verification. 284-329 - James E. Burns, Jan K. Pachl
Uniform Self-Stabilizing Rings. 330-344
Volume 11, Number 3, July 1989
- Susan Horwitz, Jan F. Prins, Thomas W. Reps:
Integrating Noninterfering Versions of Programs. 345-387 - Richard P. Brent:
Efficient Implementation of the First-Fit Strategy for Dynamic Storage Allocation. 388-403 - Frank D. Anger:
On Lamport's Interprocessor Communication Model. 404-417 - Saumya K. Debray:
Static Inference of Modes and Data Dependencies in Logic Programs. 418-450 - Saumya K. Debray, David Scott Warren:
Functional Computations in Logic Programs. 451-481
Volume 11, Number 4, October 1989
- Alfred V. Aho, Mahadevan Ganapathi, Steven W. K. Tjiang:
Code Generation Using Tree Matching and Dynamic Programming. 491-516 - Greg Nelson:
A Generalization of Dijkstra's Calculus. 517-561 - Valmir Carneiro Barbosa
Concurrency in Heavily Loaded Neighborhood-Constrained Systems. 562-584 - Rajive L. Bagrodia:
Synchronization of Asynchronous Processes in CSP. 585-597 - Arvind, Rishiyur S. Nikhil, Keshav Pingali:
I-Structures: Data Structures for Parallel Computing. 598-632 - Ben A. Sijtsma:
On the Productivity of Recursive List Definitions. 633-649 - Tim Nicholson, Norman Y. Foo:
A Denotational Semantics for Prolog. 650-665 - Arthur Sorkin:
Some Comments on ''A Solution to a Problem with Morel and Renvoise's 'Global Optimization by Suppression of Partial Redundancies'. 666-668
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-31 21:49 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: