Robert L. Ashenhurst
Page 1039
In the late 1960s people were talking about the promise of programs that verify the correctness of other programs. Unfortunately, it is now the middle of the 1980s, and, with precious few exceptions, there is still little more …
Jon Bentley
Pages 1040-1045
Participants in the 1982 Snowbird Conference reassessed the problems in computer science education and recommended steps for improvement.
Stephen S. Yau, Robert W. Ritchie, Warren Semon, Joseph Traub, Andries Van Dam, Stanley Winkler
Pages 1046-1050
What do people really think about computers and their impact? In 1970, a study of people's attitudes in North America showed computers to be regarded as either “beneficial tools of mankind” or as “awesome thinking machines.”
…
Perry R. Morrison
Pages 1051-1057
SOLO, a nonnumerical programming language, was developed at The Open University in the U.K. to support a course on Cognitive Psychology. It was designed to acquaint students as painlessly as possible with the computing fundamentals …
Marc Eisenstadt
Pages 1058-1064
The “portable” UNIX operating system was transported to an IBM Series/1 minicomputer. The process of transporting is described with emphasis on (1) adapting to the target machine architecture; (2) the selection of the approach …
Paul J. Jalics, Thomas S. Heines
Pages 1066-1072
We present an algorithm for balancing binary search trees. In this algorithm single or double rotations are performed when they decrease the internal path of the total tree. It is shown that the worst internal path on such trees …
Gaston H. Gonnet
Pages 1074-1081
Many methods for resolving collisions in hashing techniques have been proposed. They are classified into two main categories: open addressing and chaining. In this paper, other methods are presented that are intermediate between …
Seiichi Nishihara, Katsuo Ikeda
Pages 1082-1088
Hirsh Cohen
Pages 1037-1038
