Volume 6, Number 1, January 1984
: Recursion As an Effective Step in Program Development.
Arie E. Kaufman
: Tailored-List and Recombination-Delaying Buddy Systems.
Volume 6, Number 2, April 1984
F. Warren Burton
: Annotations to Control Parallelism, Reduction Order in the Distributed Evaluation of Functional Programs.
Roland Carl Backhouse
: Global Data Flow Analysis Problems Arising in Locally Least-Cost Error Recovery.
Richard Alan Karp
: Proving Failure-Free Properties of Concurrent Systems Using Temporal Logic.
: Using Time Instead of Timeout for Fault-Tolerant Distributed Systems.
Volume 6, Number 3, July 1984
: Translation of Attribute Grammars into Procedures.
Wilf R. LaLonde
: Comments on Soisalon-Soininen's "Inessential Error Entries".
Volume 6, Number 4, October 1984
: Magma2: A Language Oriented toward Experiments in Control.
Richard S. Bird
: The Promotion and Accumulation Strategies in Transformational Programming.
Michael P. Georgeff
: Transformations and Reduction Strategies for Typed Lambda Expressions.