Journal: Communications of the ACM

Volume 16, Issue 8

462 -- 467Michael H. Smith. A Learning Program Which Plays Partnership Dominoes
468 -- 474Bruce J. MacLennan. Fen-An Axiomatic Basis for Program Semantics
474 -- 481David Misunas. Petri Nets and Speed Independent Design
482 -- 483Marek Machura, Andrzej Mulawa. Rosenbrock Function Minimization [E4] (Algorithm 450)
483 -- 485Richard B. Goldstein. Chi-Square Quantiles [G1] (Algorithm 451)
485 -- 0C. N. Liu, D. T. Tang. Enumerating Combinations of m Out of n Objects [G6] (Algorithm 452)
486 -- 487Robert Piessens. Gaussian Quadrature Formulas for Bromwich's Integral [D1] (Algorithm 453)
487 -- 489Joel A. Richardson, J. L. Kuester. The Complex Method for Constrained Optimization [E4] (Algorithm 454)
489 -- 0G. Andrejkova, J. Vinar. Complex Gamma Function (Remark and Certification on Algorithm 404)
490 -- 0Edward J. Williams. Localization of the Roots of a Polynomial (Remark on Algorithm 429)
490 -- 0J. G. Byrne. Hu-Tucker Minimum Redundancy Alphabetic Coding Method (Remark on Algorithm 428)
491 -- 502Zohar Manna, Stephen Nes, Jean Vuillemin. Inductive Methods for Proving Properties of Programs
503 -- 512W. W. Peterson, Tadao Kasami, Nobuki Tokura. On the Capabilities of While, Repeat, and Exit Statements
513 -- 517Caxton C. Foster. A Generalization of AVL Trees