A Comparative Study of Computer Programs for Integrating Differential Equations.
Further Comments on Dijkstra's Concurrent Programming Control Problem.
A Highly Parallel Algorithm for Approximating All Zeros of a Polynomial with Only Real Zeros.
Derived Semantics for Some Programming Language Constructs.
A Model for Type Checking - with an Application to ALGOL 60.
An Approximate Method for Generating Symmetric Random Variables.
Comments on Moorer's Music and Computer Composition.
The Conversion of Limited-Entry Decision Tables to Optimal and Near-Optimal Flowcharts: Two New Algorithms.
Exact Probabilities for R x C Contingency Tables [G2] (Algorithm 434).
Algorithms To Reveal Properties of Floating-Point Arithmetic.
A Note on Optimal Doubly-Chained Trees.
Garbage Collection for Virtual Memory Computer Systems.
Additional Results on Key-to-Address Transform Techniques: A Fundamental Performance Study on Large Existing Formatted Files.
Modified Incomplete Gamma Function [S14] (Algorithm 435).