Journal: Communications of the ACM

Volume 16, Issue 11

635 -- 658Charles W. Bachman. The Programmer as Navigator
659 -- 668Robert S. Fabry. Dynamic Verification of Operating System Decisions
669 -- 676M. D. Mikunas, Victor B. Schneider. A Parser-Generating System for Constructing Compressed Compilers
676 -- 682B. W. Jordan Jr., Ronald Curtis Barrett. A Scan Conversion Algorithm with Reduced Storage Requirements
682 -- 688James R. Slagle, Lewis M. Norton. Experiments with an Automatic Theorem-Prover Having Partial Ordering Inference Rules
689 -- 0Christian H. Reinsch. Eigenvalues of a Real, Symmetric, Tridiagonal Matrix [F2] (Algorithm 464)
690 -- 0G. W. Hill. Student s t Frequency [S14] (Algorithm 465)
690 -- 691Gideon Ehrlich. Four Combinatorial Algorithms [G6] (Algorithm 466)
692 -- 694Norman Brenner. Matrix Transposition in Place [F1] (Algorithm 467)
694 -- 699T. N. L. Patterson. Algorithm for Automatic Numerical Integration Over a Finite Interval [D1] (Algorithm 468)
699 -- 0Clement Wing Hong Lam, John McKay. Arithmetic Overa Finite Field [A1] (Algorithm 469)
700 -- 702Peter J. Denning, G. Scott Graham. A Note on Subexpression Ordering in the Evaluation of Arithmetic Expressions
703 -- 0Jerome A. Feldman, James R. Low. Comment on Brent s Scatter Storage Algorithm
704 -- 705Eberhard Wegner. Tree-Structured Programs
708 -- 710Frank Stenger. An Algorithm for the Approximate Solution of Wiener-Hopf Integral Equations
711 -- 714Louis W. Ehrlich. Solving the Biharmonic Equation in a Square: A Direct Versus a Semidirect Method