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. His specialty is [|program correctness] - proving mathematically that a program does what it was intended to do. 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. || toc =Selected Publications=
 * Home * People * Ward Douglas Maurer**
 * [[image:Maurer.gif width="220" link="http://www.seas.gwu.edu/~maurer/"]] ||~  || **Ward Douglas Maurer**,
 * Ward Douglas Maurer ||~  ||^   ||

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

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]
 * 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= =What links here?= include page="Ward Douglas Maurer" component="backlinks" limit="30"
 * Up one Level**