Volume 4, Number 1, January 1982
Volume 4, Number 2, April 1982
: Some Observations Concerning Formal Differentiation of Set Theoretic Expressions.
Richard J. Fateman
: High-Level Language Implications of the Proposed IEEE Floating-Point Standard.
Volume 4, Number 3, July 1982
, Peter Pepper
: Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite Algorithm.
: Deriving Target Code as a Representation of Continuation Semantics.
Volume 4, Number 4, October 1982
H. J. Boom
: A Weaker Precondition for Loops.
John H. Williams
: On the Development of the Algebra of Functional Programs.
Gary L. Peterson
: An O(n log n) Unidirectional Algorithm for the Circular Extrema Problem.