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

Volume 11, Number 3, July 1989

• 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
  

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

Last update Mon May 20 18:38:26 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page