Volume 8, Number 1, January 1982
Richard C. Waters
: The Programmer's Apprentice: Knowledge Based Programm Editing.
: Direct Implementation of Algebraic Specification of Abstract Data Types.
: Using Annotations to Make Recursion Equations Behave.
Testing und Verification
Robert L. Probert
: Optimal Insertion of Software Probes in Well-Delimited Programs.
Volume 8, Number 2, February 1982
: Code Optimization Considerations in List Processing Systems.
K. S. Shankar
: A Functional Approach to Module Verification.
: Corrigendum to ``Proofs of Networks of Processes''.
Volume 8, Number 3, May 1982
K. H. Kim
: Approaches to Mechanization of the Conversation Scheme Based on Monitors.
: On Linguistic Support for Distributed Programs.
: An Operational Approach to Requirements Specification for Embedded Systems.
James L. Reuss
: Macro Implementation of a Structured Assembly Language.
Volume 8, Number 4, July 1982
John A. Stankovic
: Good System Structure Features: Their Complexity and Execution Time Cost.
: Number of Faults per Line of Code.
Glenn H. MacEwen
: Correction to "Information Flow Certification Using an Intermediate Code Programm Representation".
Volume 8, Number 5, September 1982
Volume 8, Number 6, November 1982