External Links

Journal: ACM Transactions on Programming Languages and Systems

Volume 6, Issue 4

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

Volume 6, Issue 3

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

Volume 6, Issue 2

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

Volume 6, Issue 1

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