ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 7

Volume 7, Number 1, January 1985

• David R. Barstow:
  On Convergence Toward a Database of Program Transformations. 1-9
  
• Pamela Zave:
  A Distributed Alternative to Finite-State-Machine Specifications. 10-36
  
• Jean-Francois Bergeretti, Bernard Carré:
  Information-Flow and Data-Flow Analysis of while-Programs. 37-61
  
• David R. Fuchs, Donald E. Knuth:
  Optimal Prepaging and Font Caching. 62-79
  
• David Gelernter:
  Generative Communication in Linda. 80-112
  
• Joseph L. Bates, Robert L. Constable:
  Proofs as Programs. 113-136
  
• Douglas D. Dunlop, Victor R. Basili:
  Generalizing Specifications for Uniformly Implemented Loops. 137-158
  
• Joseph C. H. Park, Kwang-Moo Choe, C. H. Chang:
  A New Analysis of LALR Formalisms. 159-175
  
• David W. Wall, Amitabh Srivastava, Fred Templin:
  A Note on Hennessy's "Symbolic Debugging of Optimized Code". 176-181
  

Volume 7, Number 2, April 1985

• Jan Heering, Paul Klint:
  Towards Monolingual Programming Environments. 183-213
  
• Shaula Yemini, Daniel M. Berry:
  A Modular Verifiable Exception-Handling Mechanism. 214-243
  
• William E. Weihl, Barbara Liskov:
  Implementation of Resilient, Atomic Data Types. 244-269
  
• George J. Milne:
  Circal and the Representation of Communication, Concurrency, and Time. 270-298
  
• David A. Schmidt:
  Detecting Global Variables in Denotational Specifications. 299-310
  
• Keshav Pingali, Arvind:
  Efficient Demand-Driven Evaluation - Part 1. 311-333
  
• Giuseppina C. Gini, Maria L. Gini:
  Dealing with World-Model-Based Programs. 334-347
  
• Ilan Bar-On, Uzi Vishkin:
  Optimal Parallel Generation of a Computation Tree Form. 348-357
  

Volume 7, Number 3, July 1985

• Flemming Nielson:
  Program Transformations in a Denotational Setting. 359-379
  
• George S. Avrunin, Jack C. Wileden:
  Describing and Analyzing Distributed Software System Designs. 380-403
  
• David R. Jefferson:
  Virtual Time. 404-425
  
• James E. Donahue, Alan J. Demers:
  Data Types Are Values. 426-445
  
• Nachum Dershowitz:
  Program Abstraction and Instantiation. 446-477
  
• Helmut Richter:
  Noncorrecting Syntax Error Recovery. 478-489
  
• Richard S. Bird: Addendum to ``The Promotion and Accumulation Strategies in Transformational Programming''. 490-492

Volume 7, Number 4, October 1985

• Robert H. Halstead Jr.:
  Multilisp: A Language for Concurrent Symbolic Computation. 501-538
  
• Malcolm P. Atkinson, Ronald Morrison:
  Procedures as Persistent Data Objects. 539-559
  
• Mahadevan Ganapathi, Charles N. Fischer:
  Affix Grammar Driven Code Generation. 560-599
  
• Robert P. Nix:
  Editing by Example. 600-621
  
• Nissim Francez, Shaula Yemini:
  Symmetric Intertask Communication. 622-636
  
• Hans-Juergen Boehm:
  Side Effects and Aliasing Can Have Simple Axiomatic Descriptions. 637-655
  
• Arie de Bruin, A. P. Wim Böhm:
  The Denotational Semantics of Dynamic Networks of Processes. 656-679
  
• Alberto Pettorossi:
  A Note on Cohen's "Eliminating Redundant Recursive Calls". 680-685
  

Last update Tue Feb 14 04:23:46 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page