Rosalie Steier
Pages 655-ff.
Paul Abrahams
Pages 656-657
Robert L. Ashenhurst
Pages 658-662
One of the primary effects of software abstraction has been to further the notion of computer programs as objects rather than moving programming closer to the problem being solved. Knowledge abstraction, however, allows software …
Russell J. Abbott
Pages 664-671
A complete set of algebraic laws is given for Dijkstra's nondeterministic sequential programming language. Iteration and recursion are explained in terms of Scott's domain theory as fixed points of continuous functionals. A calculus …
C. A. R. Hoare, I. J. Hayes, He Jifeng, C. C. Morgan, A. W. Roscoe, J. W. Sanders, I. H. Sorensen, J. M. Spivey, B. A. Sufrin
Pages 672-686
The Computing Research Board's latest survey on the production and employment of Ph.D.'s and faculty in computer science and engineering depicts a young, optimistic discipline where supply may not always meet demand.
David Gries
Pages 688-694
The programming language Ada encourages improved methods for the design of real-time systems.
Kjell W. Nielsen, Ken Shumate
Pages 695-715
An experimental method for identifying an appropriate model for a simulation response surface is presented. This technique can be used for globally identifying those factors in a simulation that have a significant influence on …
Lee W. Schruben, V. James Cogliano
Pages 716-730
By applying Weyl's criterion for k-distributivity to GFSR sequences, we derive a new theoretical test for investigating the statistical property of GFSR sequences. This test provides a very useful measure for examining the k-distribution …
Shu Tezuka
Pages 731-735
