Ward Douglas Maurer,
an American mathematician, computer scientist, and Professor Emeritus of engineering and applied science at George Washington University. He attended undergraduate school at the University of Chicago and graduate school at University of California, Berkeley, majoring in mathematics ^{[1]} . His specialty is program correctness - proving mathematically that a program does what it was intended to do ^{[2]}. He has written many popular books on Assembly language, as well articles on various programming topics in BYTE and Dr. Dobb's Journal, also covering computer chess and games with an article about Alpha-Beta^{[3]}.

Home * People * Ward Douglas MaurerWard Douglas Maurer,an American mathematician, computer scientist, and Professor Emeritus of engineering and applied science at George Washington University. He attended undergraduate school at the University of Chicago and graduate school at University of California, Berkeley, majoring in mathematics

^{[1]}. His specialty is program correctness - proving mathematically that a program does what it was intended to do^{[2]}. He has written many popular books on Assembly language, as well articles on various programming topics in BYTE and Dr. Dobb's Journal, also covering computer chess and games with an article about Alpha-Beta^{[3]}.^{[4]}## Table of Contents

## Selected Publications

^{[5]}## 1965 ...

1965).On Minimal Decompositions of Group Machines. Ph.D. thesis, University of California, Berkeley, advisor John Rhodes1965).A Property of Finite Simple Non-Abelian Groups. Proc. of the American Mathematical Society, Vol. 16^{[6]}1966).A Theory of Computer Instructions. Journal of the ACM, Vol. 13, No. 21966).Realizing complex boolean functions with simple groups. Information and Control, Vol. 9, No. 21966).Computer experiments in finite algebra. Communications of the ACM, Vol. 9, No. 81968).An Improved Hash Code for Scatter Storage. Communications of the ACM, Vol. 11, No. 11968).Programming: An Introduction to Computer Languages and Techniques. Holden-Day## 1970 ...

1972).The programmer's introduction to LISP. American Elsevier1972).Programming; an introduction to computer techniques. Holden-Day computer and information sciences series1972).Theory and Practice of Algorithm Verification. Berkeley : Electronics Research Laboratory1973).Induction Principles for Context-Free Languages. GI Jahrestagung1975).Hash Table Methods. ACM Computing Surveys, Vol. 7, No. 11976).The Programmer's Introduction to SNOBOL. Elsevier1979).Alpha-Beta Pruning. BYTE, Vol. 4, No. 11, pp. 84-96## 1980 ...

1983).An Improved Hash Code for Scatter Storage. (Reprint) Communications of the ACM, Vol. 26, No. 11984).APPLE assembly language with Lazerware software. Computer Science Press » Apple II, Assembly1985).Commodore 64 assembly language: A course of study based on the DEVELOP-64 assembler/editor/debugger. Computer Science Press » Commodore 64, Assembly1988).The Correctness of Computer Programs, Part 1. School of Engineering and Applied Science, George Washington University## 1990 ...

1990).Assembly language programming on the Mac with MPW. School of Engineering and Applied Science, George Washington University, GWU-IIST-90-20. » Macintosh, Assembly^{[7]}1996).Relative Precision in the Inductive Assertion Method. WNAA 1996 » Float^{[8]}1996).Attitudes toward the go-to statement (or, hydrogen considered harmful). Computers & Education, Vol. 26, No. 4 » Goto in C^{[9]}^{[10]}## 2000 ...

2002).The comparative programming languages course: a new chain of development. SIGCSE 20022006).A New Use of the Basic Mathematical Idea of Twelve-Tone Music. Bridges, London 2006^{[11]}2006).A theory of computer instructions. Science of Computer Programming, Vol. 60, No. 32007).Generalized structured programs and loop trees. Science of Computer Programming, Vol. 67, Nos. 2-32008).Partially defined computer instructions and guards. Science of Computer Programming, Vol. 72, No. 32008).A survey of state vectors. Computer Science Review, Vol. 2, No. 1## 2010 ...

2010).Simple section interchange and properties of non-computable functions. Science of Computer Programming, Vol. 75, No. 112013).A Programming Language without Keywords. Computer and Information Science, Vol. 6, No. 1## External Links

## References

1965).On Minimal Decompositions of Group Machines. Ph.D. thesis, University of California, Berkeley, advisor John Rhodes1979).Alpha-Beta Pruning. BYTE, Vol. 4, No. 11, pp. 84-961968).Go To Statement Considered Harmful. Communications of the ACM, Vol. 11, No. 3, pdf## What links here?

Up one Level