Squank (Certification of Algorithm 379).
On the Criteria To Be Used in Decomposing Systems into Modules.
Product Type Two-Point Gauss-Legendre-Simpson's Integration [D1] (Algorithm A438).
BANDSOLVE (Remark on Algorithm 195).
A New Method for the Solution of the Cauchy Problem for Parabolic Equations.
Pseudo-Random Numbers [G5] (Certification of Algorithm 266).
Index Ranges for Matrix Calculi.
Weighted Increment Linear Search for Scatter Tables.
Product Type Trapezoidal Integration (Algorithm 436).
Dynamic Partitioning for Array Languages.
Levels of Language for Portable Software.
Product Type Three-point Gauss-Legendre-Simpson's Integration [D1] (Algorithm 439).
Decision Table Translation (Remark on Algorithm 394).
Remarks on Characteristic Values and Associated Solutions of Mathieus Differential Equation, Exponential Integral, and Systems of Hyperbolic P.D.E. (Remark on Algorithms 352, 385, 392).
A Comparison of Multivariate Normal Generators.
Trace-Driven Modeling and Analysis of CPU Scheduling in Multiprogramming System.
Roots of Matrix Pencils (Remark on Algorithm 405).
A Method for Incrementally Compiling Languages with Nested Statement Structure.
Least Squares Surface Fit (Remark on Algorithm 176).
Product Type Simpson's Integration [D1] (Algorithm 437).