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 BibTeX
Eugene W. Myers, Webb Miller: Row Replacement Algorithms for Screen Editors. 33-56 BibTeX
David Bernstein, Izidor Gertner: Scheduling Expressions on a Pipelined Processor with a Maximal Delay of One Cycle. 57-66 BibTeX
Jørgen Steensgaard-Madsen: Type Representation of Objects by Functions. 67-89 BibTeX
Michael J. Fischer, Nancy A. Lynch, James E. Burns, Allan Borodin: Distributed FIFO Allocation of Identical Resources Using Small Shared Space. 90-114 BibTeX
Hassan Aït-Kaci, Robert S. Boyer, Patrick Lincoln, Roger Nasr: Efficient Implementation of Lattice Operations. 115-146 BibTeX
Bowen Alpern, Fred B. Schneider: Verifying Temporal Properties without Temporal Logic. 147-167 BibTeX

Gail E. Kaiser: Incremental Dynamic Semantics for Language-Based Programming Environments. 169-193 BibTeX
Robert D. Cameron: Efficient High-Level Iteration with Accumulators. 194-211 BibTeX
Wilf R. LaLonde: Designing Families of Data Types Using Exemplars. 212-248 BibTeX
William E. Weihl: Local Atomicity Properties: Modular Concurrency Control for Abstract Data Types. 249-283 BibTeX
Vincenza Carchiolo, Antonella Di Stefano, Alberto Faro, Giuseppe Pappalardo: ECCS and LIPS: Two Languages for OSI Systems Specification and Verification. 284-329 BibTeX
James E. Burns, Jan K. Pachl: Uniform Self-Stabilizing Rings. 330-344 BibTeX

Susan Horwitz, Jan Prins, Thomas W. Reps: Integrating Noninterfering Versions of Programs. 345-387 BibTeX
Richard P. Brent: Efficient Implementation of the First-Fit Strategy for Dynamic Storage Allocation. 388-403 BibTeX
Frank D. Anger: On Lamport's Interprocessor Communication Model. 404-417 BibTeX
Saumya K. Debray: Static Inference of Modes and Data Dependencies in Logic Programs. 418-450 BibTeX
Saumya K. Debray, David Scott Warren: Functional Computations in Logic Programs. 451-481 BibTeX

Alfred V. Aho, Mahadevan Ganapathi, Steven W. K. Tjiang: Code Generation Using Tree Matching and Dynamic Programming. 491-516 BibTeX
Greg Nelson: A Generalization of Dijkstra's Calculus. 517-561 BibTeX
Valmir C. Barbosa, Eli Gafni: Concurrency in Heavily Loaded Neighborhood-Constrained Systems. 562-584 BibTeX
Rajive Bagrodia: Synchronization of Asynchronous Processes in CSP. 585-597 BibTeX
Arvind, Rishiyur S. Nikhil, Keshav Pingali: I-Structures: Data Structures for Parallel Computing. 598-632 BibTeX
Ben A. Sijtsma: On the Productivity of Recursive List Definitions. 633-649 BibTeX
Tim Nicholson, Norman Y. Foo: A Denotational Semantics for Prolog. 650-665 BibTeX
Arthur Sorkin: Some Comments on ``A Solution to a Problem with Morel and Renvoise's `Global Optimization by Suppression of Partial Redundancies'. 666-668 BibTeX