Volume 1, Number 1, July 1979
Edward L. Robertson
: Code Generation and Storage Allocation for Machines with Span-Dependent Instructions.
: A New Approach to Proving the Correctness of Multiprocess Programs.
David S. Wise
: Morris's Garbage Compaction Algorithm Restores Reference Counts.
Volume 1, Number 2, October 1979
: Is Sometimes Ever Better Than Alway?