Volume 5, Number 1, January 1983
Volume 5, Number 2, April 1983
Steven P. Reiss
: Generation of Compiler Symbol Processing Mechanisms.
Volume 5, Number 3, July 1983
: Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability.
: A Formal Framework for the Derivation of Machine-Specific Optimizers.
Volume 5, Number 4, October 1983
: Control Flow Aspects of Semantics-Directed Compiling.
Cliff B. Jones
: Tentative Steps Toward a Development Method for Interfering Programs.
: Correctness Proofs of Communicating Processes: Three Illustrative Examples from the Literature.