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

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

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

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