Changes

Jump to: navigation, search

Ward Douglas Maurer

10,593 bytes added, 14:50, 26 June 2021
Created page with "'''Home * People * Ward Douglas Maurer''' FILE:WDouglasMaurer.jpg|border|right|thumb| Ward Douglas Maurer <ref>[https://www2.seas.gwu.edu/~maurer/ Dr. Mau..."
'''[[Main Page|Home]] * [[People]] * Ward Douglas Maurer'''

[[FILE:WDouglasMaurer.jpg|border|right|thumb| Ward Douglas Maurer <ref>[https://www2.seas.gwu.edu/~maurer/ Dr. Maurer's Home Page]</ref> ]]

'''Ward Douglas Maurer''',<br/>
an American mathematician, computer scientist, and Professor Emeritus of engineering and applied science at [https://en.wikipedia.org/wiki/George_Washington_University George Washington University].
He attended undergraduate school at the [https://en.wikipedia.org/wiki/University_of_Chicago University of Chicago] and graduate school at [[University of California, Berkeley]],
majoring in mathematics <ref>[[Ward Douglas Maurer]] ('''1965'''). ''On Minimal Decompositions of Group Machines''. Ph.D. thesis, [[University of California, Berkeley]], advisor [[Mathematician#JRhodes|John Rhodes]]</ref> .
His speciality is [https://en.wikipedia.org/wiki/Correctness_%28computer_science%29 program correctness] - proving mathematically that a program does what it was intended to do <ref>[http://www.qualityweek.com/QW98/qw98.bios.html QW'98 -- Speaker Biographies]</ref>.
He has written many popular books on [[Assembly]] language, as well articles on various programming topics in [[Byte Magazine|BYTE]] and [https://en.wikipedia.org/wiki/Dr._Dobb%27s_Journal Dr. Dobb's Journal], also covering computer chess and games with an article about [[Alpha-Beta]]
<ref>[[Ward Douglas Maurer]] ('''1979'''). ''[https://archive.org/stream/byte-magazine-1979-11/1979_11_BYTE_04-11_Fun_and_Games#page/n85/mode/2up Alpha-Beta Pruning]''. [[Byte Magazine#BYTE411|BYTE, Vol. 4, No. 11]], pp. 84-96</ref>.

=Selected Publications=
<ref>[https://dblp.uni-trier.de/pid/m/WDMaurer.html dblp: Ward Douglas Maurer]</ref>
==1965 ...==
* [[Ward Douglas Maurer]] ('''1965'''). ''On Minimal Decompositions of Group Machines''. Ph.D. thesis, [[University of California, Berkeley]], advisor [[Mathematician#JRhodes|John Rhodes]]
* [[Ward Douglas Maurer]], [[Mathematician#JRhodes|John Rhodes]] ('''1965'''). ''A Property of Finite Simple Non-Abelian Groups''. [https://en.wikipedia.org/wiki/Proceedings_of_the_American_Mathematical_Society Proc. of the American Mathematical Society], Vol. 16 <ref>[https://en.wikipedia.org/wiki/Non-abelian_group Non-abelian group from Wikipedia]</ref>
* [[Ward Douglas Maurer]] ('''1966'''). ''[https://dl.acm.org/doi/10.1145/321328.321334 A Theory of Computer Instructions]''. [[ACM#Journal|Journal of the ACM]], Vol. 13, No. 2
* Kenneth Krohn, [[Ward Douglas Maurer]], [[Mathematician#JRhodes|John Rhodes]] ('''1966'''). ''[https://www.sciencedirect.com/science/article/pii/S0019995866902294 Realizing complex boolean functions with simple groups]''. [https://en.wikipedia.org/wiki/Information_and_Computation Information and Control], Vol. 9, No. 2
* [[Ward Douglas Maurer]] ('''1966'''). ''[https://dl.acm.org/doi/10.1145/365758.365783 Computer experiments in finite algebra]''. [[ACM#Communications|Communications of the ACM]], Vol. 9, No. 8
* [[Ward Douglas Maurer]] ('''1968'''). ''[https://dl.acm.org/doi/10.1145/357980.357995 An Improved Hash Code for Scatter Storage]''. [[ACM#Communications|Communications of the ACM]], Vol. 11, No. 1
* [[Ward Douglas Maurer]] ('''1968'''). ''[https://www.amazon.com/Programming-Introduction-Computer-Languages-Techniques/dp/B001K6JH48 Programming: An Introduction to Computer Languages and Techniques]''. Holden-Day
==1970 ...==
* [[Ward Douglas Maurer]] ('''1972'''). ''[https://www.amazon.com/programmers-introduction-LISP-Computer-monographs/dp/0444195726 The programmer's introduction to LISP]''. American Elsevier
* [[Ward Douglas Maurer]] ('''1972'''). ''[https://www.amazon.com/Programming-introduction-techniques-Holden-Day-information/dp/0816254532/ref=la_B001HPN2O8_1_5?s=books&ie=UTF8&qid=1410953624&sr=1-5 Programming; an introduction to computer techniques]''. Holden-Day
* [[Ward Douglas Maurer]] ('''1972'''). ''[https://www.worldcat.org/title/theory-and-practice-of-algorithm-verification/oclc/10592371 Theory and Practice of Algorithm Verification]''. [[University of California, Berkeley|Berkeley]] : Electronics Research Laboratory
* [[Ward Douglas Maurer]] ('''1973'''). ''[https://dl.acm.org/doi/10.5555/647563.760501 Induction Principles for Context-Free Languages]''. [https://dblp.uni-trier.de/db/conf/gi/gi73.html#Maurer73 GI Jahrestagung]
* [[Ward Douglas Maurer]], [https://dblp.uni-trier.de/pid/06/346.html Ted G. Lewis] ('''1975'''). ''[https://dl.acm.org/doi/10.1145/356643.356645 Hash Table Methods]''. [[ACM#Surveys|ACM Computing Surveys]], Vol. 7, No. 1
* [[Ward Douglas Maurer]] ('''1976'''). ''[https://www.amazon.com/Programmers-Introduction-Programming-Languages-Elsevier/dp/0444001727/ref=la_B001HPN2O8_1_4?s=books&ie=UTF8&qid=1410953624&sr=1-4 The Programmer's Introduction to SNOBOL]''. [https://en.wikipedia.org/wiki/Elsevier Elsevier]
* [[Ward Douglas Maurer]] ('''1979'''). ''[https://archive.org/details/byte-magazine-1979-11/page/n85/mode/2up?view=theater Alpha-Beta Pruning]''. [[Byte Magazine#BYTE411|BYTE, Vol. 4, No. 11]], pp. 84-96
==1980 ...==
* [[Ward Douglas Maurer]] ('''1983'''). ''[https://dl.acm.org/doi/10.1145/357980.357995 An Improved Hash Code for Scatter Storage]''. (Reprint) [[ACM#Communications|Communications of the ACM]], Vol. 26, No. 1
* [[Ward Douglas Maurer]] ('''1984'''). ''[https://www.amazon.com/APPLE-assembly-language-Lazerware-software/dp/091489482X/ref=la_B001HPN2O8_1_2?s=books&ie=UTF8&qid=1410953624&sr=1-2 APPLE assembly language with Lazerware software]''. Computer Science Press » [[Apple II]], [[Assembly]]
* [[Ward Douglas Maurer]] ('''1985'''). ''[https://www.amazon.com/Commodore-assembly-language-DEVELOP-64-assembler/dp/0881750409/ref=la_B001HPN2O8_1_3?s=books&ie=UTF8&qid=1410953624&sr=1-3 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'''). ''[https://books.google.com/books/about/The_Correctness_of_Computer_Programs.html?id=5owsHAAACAAJ&redir_esc=y&hl=en The Correctness of Computer Programs, Part 1]''. [https://en.wikipedia.org/wiki/George_Washington_University_School_of_Engineering_and_Applied_Science School of Engineering and Applied Science], [https://en.wikipedia.org/wiki/George_Washington_University George Washington University]
==1990 ...==
* [[Ward Douglas Maurer]] ('''1990'''). ''[https://www.worldcat.org/title/assembly-language-programming-on-the-mac-with-mpw-second-draft/oclc/22190641 Assembly language programming on the Mac with MPW]''. [https://en.wikipedia.org/wiki/George_Washington_University_School_of_Engineering_and_Applied_Science School of Engineering and Applied Science], [https://en.wikipedia.org/wiki/George_Washington_University George Washington University], GWU-IIST-90-20. » [[Macintosh]], [[Assembly]] <ref>[https://en.wikipedia.org/wiki/Macintosh_Programmer%27s_Workshop Macintosh Programmer's Workshop from Wikipedia]</ref>
* [[Ward Douglas Maurer]] ('''1996'''). ''[https://www.researchgate.net/publication/221014653_Relative_Precision_in_the_Inductive_Assertion_Method Relative Precision in the Inductive Assertion Method]''. [https://dblp.uni-trier.de/db/conf/naa/wnaa1996.html#Maurer96 WNAA 1996] » [[Float]] <ref>[https://en.wikipedia.org/wiki/Hoare_logic Floyd–Hoare logic from Wikipedia]</ref>
* [[Ward Douglas Maurer]] ('''1996'''). ''[https://www.sciencedirect.com/science/article/abs/pii/0360131595000917 Attitudes toward the go-to statement (or, hydrogen considered harmful)]''. [https://dblp.uni-trier.de/db/journals/ce/ce26.html#Maurer96 Computers & Education, Vol. 26], No. 4 » [[C#Goto|Goto in C]] <ref>[https://en.wikipedia.org/wiki/Edsger_Dijkstra Edsger Dijkstra] ('''1968'''). ''Go To Statement Considered Harmful''. [[ACM#Communications|Communications of the ACM]], Vol. 11, No. 3, [https://www.cs.utexas.edu/users/EWD/ewd02xx/EWD215.PDF pdf]</ref> <ref>[https://en.wikipedia.org/wiki/Considered_harmful Considered harmful from Wikipedia]</ref>
==2000 ...==
* [[Ward Douglas Maurer]] ('''2002'''). ''[https://dl.acm.org/doi/10.1145/563517.563472 The comparative programming languages course: a new chain of development]''. [https://dblp.uni-trier.de/db/conf/sigcse/sigcse2002.html#Maurer02 SIGCSE 2002]
* [[Ward Douglas Maurer]] ('''2006'''). ''[http://archive.bridgesmathart.org/2006/bridges2006-135.html A New Use of the Basic Mathematical Idea of Twelve-Tone Music]''. [http://archive.bridgesmathart.org/2006/index.html Bridges, London 2006] <ref>[https://en.wikipedia.org/wiki/Twelve-tone_technique Twelve-tone technique from Wikipedia]</ref>
* [[Ward Douglas Maurer]] ('''2006'''). ''[https://www.sciencedirect.com/science/article/pii/S0167642305001140 A theory of computer instructions]''. [https://www.journals.elsevier.com/science-of-computer-programming/ Science of Computer Programming], Vol. 60, No. 3
* [[Ward Douglas Maurer]] ('''2007'''). ''[https://www.sciencedirect.com/science/article/pii/S0167642307000597 Generalized structured programs and loop trees]''. [https://www.journals.elsevier.com/science-of-computer-programming/ Science of Computer Programming], Vol. 67, Nos. 2-3
* [[Ward Douglas Maurer]] ('''2008'''). ''[https://www.sciencedirect.com/science/article/pii/S0167642308000622 Partially defined computer instructions and guards]''. [https://www.journals.elsevier.com/science-of-computer-programming/ Science of Computer Programming], Vol. 72, No. 3
* [[Ward Douglas Maurer]] ('''2008'''). ''[https://www.sciencedirect.com/science/article/abs/pii/S1574013708000051 A survey of state vectors]''. [https://www.journals.elsevier.com/computer-science-review/ Computer Science Review], Vol. 2, No. 1
==2010 ...==
* [[Ward Douglas Maurer]] ('''2010'''). ''[https://www.sciencedirect.com/science/article/pii/S0167642310000833 Simple section interchange and properties of non-computable functions]''. [https://www.journals.elsevier.com/science-of-computer-programming/ Science of Computer Programming], Vol. 75, No. 11
* [[Ward Douglas Maurer]] ('''2013'''). ''[http://www.ccsenet.org/journal/index.php/cis/article/view/23904 A Programming Language without Keywords]''. [https://www.journals.elsevier.com/computer-science-review/ Computer and Information Science], Vol. 6, No. 1

=External Links=
* [https://www2.seas.gwu.edu/~maurer/ Dr. Maurer's Home Page]
* [https://www.mathgenealogy.org/id.php?id=32398 The Mathematics Genealogy Project - Ward Douglas Maurer]

=References=
<references />
'''[[People|Up one Level]]'''
[[Category:Mathematician|Maurer]]

Navigation menu