Ward Douglas Maurer

Ph. D., Jan. 1965, University of California at Berkeley

M. A., Sept. 1962, University of California at Berkeley

B. S., June 1958, University of Chicago

Correctness of programs, semantics of programming languages, directed graph theory, educational research

Selected Publications

1. W. D. Maurer, Attitudes toward the go-to statement, or hydrogen considered harmful, , Computers and Education, 26, 4, 207-213, 1996.



2. W. D. Maurer, Comments on ‘Social processes and proofs of theorems and programs’ , Communications of the ACM, 22, 10, pp. 625-629, Nov. 1979.



3. W. D. Maurer, Conformal equivalence of countable dense sets , Proceedings of the American Mathematical Society, 18, 2, pp. 269-270, April 1967.



4. W. D. Maurer, A theory of computer instructions , Journal of the ACM, 13, 2, pp. 226-235, April 1966.



5. W. D. Maurer, An improved hash code for scatter storage , Communications of the ACM, 11, 1, pp. 35-38, January 1968.