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

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

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

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