W. D. Maurer

Publication Activity (10 Years)

Years Active: 1966-1985
Publications (10 Years): 0

Publications

W. D. Maurer, Tim E. Barrios
The parable of the two programmers, continued. ACM SIGSOFT Softw. Eng. Notes 10 (2) (1985)
W. D. Maurer
An Improved Hash Code for Scatter Storage (Reprint). Commun. ACM 26 (1) (1983)
W. D. Maurer
An alternate characterization of preorder, inorder, and postorder. ACM SIGPLAN Notices 16 (10) (1981)
W. D. Maurer
Register type bits: a proposal for efficient instruction repertoire extension. ACM SIGPLAN Notices 13 (9) (1978)
W. D. Maurer
Another letter on the correctness of real programs. ACM SIGSOFT Softw. Eng. Notes 3 (3) (1978)
W. D. Maurer
The teaching of program correctness. SIGCSE-1 (1977)
W. D. Maurer
Proving the correctness of a flight-director program for an airborne minicomputer. SIGMINI (1976)
W. D. Maurer, Ted G. Lewis
Hash Table Methods. ACM Comput. Surv. 7 (1) (1975)
W. D. Maurer
Some correctness principles for machine language programs and microprograms. MICRO (1974)
W. D. Maurer
The validity of return address schemes. Inf. Sci. 6 (1973)
W. D. Maurer
On the Definition of the Variables Used and Set by a Computation. Math. Syst. Theory 6 (1) (1972)
W. D. Maurer
An Improved Hash Code for Scatter Storage. Commun. ACM 11 (1) (1968)
Kenneth Krohn, W. D. Maurer, John Rhodes
Realizing Complex Boolean Functions with Simple Groups Inf. Control. 9 (2) (1966)