Home * People * Ward Douglas Maurer
Maurer.gif

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

[5]

1965 ...

1970 ...

1980 ...

1990 ...

2000 ...

2010 ...


External Links


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?


Up one Level