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

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, Antonella Di Stefano, Alberto Faro, Giuseppe Pappalardo: 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

Susan Horwitz, Jan 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

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 C. Barbosa, Eli Gafni: Concurrency in Heavily Loaded Neighborhood-Constrained Systems. 562-584
Rajive 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