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].
Ward Douglas Maurer [4]

Selected Publications

1965 ...

• Ward Douglas Maurer (1965). On Minimal Decompositions of Group Machines. Ph.D. thesis, University of California, Berkeley, advisor John Rhodes
• Ward Douglas Maurer , John Rhodes (1965). A Property of Finite Simple Non-Abelian Groups. Proc. of the American Mathematical Society, Vol. 16 ^[6]
• Ward Douglas Maurer (1966). A Theory of Computer Instructions. Journal of the ACM, Vol. 13, No. 2
• Kenneth Krohn, Ward Douglas Maurer, John Rhodes (1966). Realizing complex boolean functions with simple groups. Information and Control, Vol. 9, No. 2
• Ward Douglas Maurer (1966). Computer experiments in finite algebra. Communications of the ACM, Vol. 9, No. 8
• Ward Douglas Maurer (1968). An Improved Hash Code for Scatter Storage. Communications of the ACM, Vol. 11, No. 1
• Ward Douglas Maurer (1968). Programming: An Introduction to Computer Languages and Techniques. Holden-Day

1970 ...

• Ward Douglas Maurer (1972). The programmer's introduction to LISP. American Elsevier
• Ward Douglas Maurer (1972). Programming; an introduction to computer techniques. Holden-Day computer and information sciences series
• Ward Douglas Maurer (1972). Theory and Practice of Algorithm Verification. Berkeley : Electronics Research Laboratory
• Ward Douglas Maurer (1973). Induction Principles for Context-Free Languages. GI Jahrestagung
• Ward Douglas Maurer, Ted G. Lewis (1975). Hash Table Methods. ACM Computing Surveys, Vol. 7, No. 1
• Ward Douglas Maurer (1976). The Programmer's Introduction to SNOBOL. Elsevier
• Ward Douglas Maurer (1979). Alpha-Beta Pruning. BYTE, Vol. 4, No. 11, pp. 84-96

1980 ...

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

1990 ...

• Ward Douglas Maurer (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]
• Ward Douglas Maurer (1996). Relative Precision in the Inductive Assertion Method. WNAA 1996 » Float ^[8]
• Ward Douglas Maurer (1996). Attitudes toward the go-to statement (or, hydrogen considered harmful). Computers & Education, Vol. 26, No. 4 » Goto in C ^{[9] [10]}

2000 ...

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

2010 ...

• Ward Douglas Maurer (2010). Simple section interchange and properties of non-computable functions. Science of Computer Programming, Vol. 75, No. 11
• Ward Douglas Maurer (2013). A Programming Language without Keywords. Computer and Information Science, Vol. 6, No. 1

External Links

• Dr. Maurer's Home Page
• Ward Douglas Maurer | The Department of Computer Science
• The Mathematics Genealogy Project - Ward Douglas Maurer

References

1. ^ Ward Douglas Maurer (1965). On Minimal Decompositions of Group Machines. Ph.D. thesis, University of California, Berkeley, advisor John Rhodes
2. ^ QW'98 -- Speaker Biographies
3. ^ Ward Douglas Maurer (1979). Alpha-Beta Pruning. BYTE, Vol. 4, No. 11, pp. 84-96
4. ^ Dr. Maurer's Home Page
5. ^ dblp: Ward Douglas Maurer
6. ^ Non-abelian group from Wikipedia
7. ^ Macintosh Programmer's Workshop from Wikipedia
8. ^ Floyd–Hoare logic from Wikipedia
9. ^ Edsger Dijkstra (1968). Go To Statement Considered Harmful. Communications of the ACM, Vol. 11, No. 3, pdf
10. ^ Considered harmful from Wikipedia
11. ^ Twelve-tone technique from Wikipedia

What links here?