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

Volume 6, Number 1, January 1984

James E. Archer Jr., Richard Conway, Fred B. Schneider: User Recovery and Reversal in Interactive Systems. 1-19
Robert D. Cameron, Mabo Robert Ito: Grammar-Based Definition of Metaprogramming Systems. 20-54
L. Colussi: Recursion As an Effective Step in Program Development. 55-67
Zohar Manna, Pierre Wolper: Synthesis of Communicating Processes from Temporal Logic Specifications. 68-93
Robert L. Constable, Daniel R. Zlatin: The Type Theory of PL/CV3. 94-117
Arie E. Kaufman: Tailored-List and Recombination-Delaying Buddy Systems. 118-125

William F. Appelbe, Anders P. Ravn: Encapsulation Constructs in Systems Programming Languages. 129-158
F. Warren Burton: Annotations to Control Parallelism, Reduction Order in the Distributed Evaluation of Functional Programs. 159-174
M. Elizabeth C. Hull, R. M. McKeag: Communicating Sequential Processes for Centralized and Distributed Operating System Design. 175-191
Roland Carl Backhouse: Global Data Flow Analysis Problems Arising in Locally Least-Cost Error Recovery. 192-214
John H. Reif, Paul G. Spirakis: Real-Time Synchronization of Interprocess Communications. 215-238
Richard Alan Karp: Proving Failure-Free Properties of Concurrent Systems Using Temporal Logic. 239-253
Leslie Lamport: Using Time Instead of Timeout for Fault-Tolerant Distributed Systems. 254-280
Leslie Lamport, Fred B. Schneider: The ``Hoare Logic'' of CSP, and All That. 281-296

Timothy A. Budd: An APL Compiler for a Vector Processor. 297-313
Richard F. Hobson: A Directly Executable Encoding for APL. 314-332
Mordechai Ben-Ari: Algorithms for On-the-fly Garbage Collection. 333-344
Takuya Katayama: Translation of Attribute Grammars into Procedures. 345-369
Krzysztof R. Apt, Nissim Francez: Modeling the Distributed Termination Convention of CSP. 370-379
Ephraim Korach, Doron Rotem, Nicola Santoro: Distributed Algorithms for Finding Centers and Medians in Networks. 380-401
Richard D. Schlichting, Fred B. Schneider: Using Message Passing for Distributed Programming: Proof Rules, Disciplines. 402-431
Wilf R. LaLonde: Comments on Soisalon-Soininen's "Inessential Error Entries". 432-439

Robert I. Winner: Unassigned Objects. 449-467
Franco Turini: Magma2: A Language Oriented toward Experiments in Control. 468-486
Richard S. Bird: The Promotion and Accumulation Strategies in Transformational Programming. 487-504
Jack W. Davidson, Christopher W. Fraser: Code Selection through Object Code Optimization. 505-526
M. V. S. Ramanath, Marvin H. Solomon: Jump Minimization in Linear Time. 527-545
Peter Dencker, Karl Dürre, Johannes Heuft: Optimization of Parser Tables for Portable Compilers. 546-572
Naftaly H. Minsky: Selective and Locally Controlled Transport of Privileges. 573-602
Michael P. Georgeff: Transformations and Reduction Strategies for Typed Lambda Expressions. 603-631
K. Mani Chandy, Jayadev Misra: The Drinking Philosopher's Problem. 632-646
Neelam Soundararajan: Axiomatic Semantics of Communicating Sequential Processes. 647-662