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 BibTeX
Robert D. Cameron, Mabo Robert Ito: Grammar-Based Definition of Metaprogramming Systems. 20-54 BibTeX
L. Colussi: Recursion As an Effective Step in Program Development. 55-67 BibTeX
Zohar Manna, Pierre Wolper: Synthesis of Communicating Processes from Temporal Logic Specifications. 68-93 BibTeX
Robert L. Constable, Daniel R. Zlatin: The Type Theory of PL/CV3. 94-117 BibTeX
Arie E. Kaufman: Tailored-List and Recombination-Delaying Buddy Systems. 118-125 BibTeX

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

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

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