Volume 26, Number 1, January 1979
Alan Jay Smith
: Characterizing the Storage Process and Its Effect on the Update of Main Memory by Write Through.
Edmund M. Clarke
: Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom Systems.
Volume 26, Number 2, April 1979
Frank K. Hwang
: An O(n log n) Algorithm for Rectilinear Minimal Spanning Trees.
: Optimality Properties of Multiple-Key Hashing Functions.
Boleslaw Z. Kacewicz
: Integrals with a Kernel in the Solution of Nonlinear Equations in N Dimensions.
Karel Culik II
: A Purely Homomorphic Characterization of Recursively Enumerable Sets.
Robert E. Shostak
: A Practical Decision Procedure for Arithmetic with Function Symbols.
Volume 26, Number 3, July 1979
Glenn K. Manacher
: Significant Improvements to the Hwang-Lin Merging Algorithm.
T. D. Bui
: Some A-Stable and L-Stable Methods for the Numerical Integration of Stiff Ordinary Differential Equations.
Robert D. Skeel
: Scaling for Numerical Stability in Gaussian Elimination.
Zvi M. Kedem
: Combining Dimensionality and Rate of Growth Arguments for Establishing Lower Bounds on the Number of Multiplications and Divisions.
Volume 26, Number 4, October 1979
: The Effect of a Connectivity Requirement on the Complexity of Maximum Subgraph Problems.
Andrew S. Noetzel
: A Generalized Queueing Discipline for Product Form Network Solutions.
: Renamings, Maximal Parallelism, and Space-Time Tradeoff in Program Schemata.