We stand with Ukraine  

Ward Douglas Maurer

Affiliations:
  • George Washington University, Washington, D.C., USA


According to our database1, Ward Douglas Maurer authored at least 35 papers between 1966 and 2013.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2013
A Programming Language without Keywords.
[BibTeX]
[DOI]
Ward Douglas Maurer
Comput. Inf. Sci., 2013

2010
Simple section interchange and properties of non-computable functions.
[BibTeX]
[DOI]
Ward Douglas Maurer
Sci. Comput. Program., 2010

2008
Partially defined computer instructions and guards.
[BibTeX]
[DOI]
Ward Douglas Maurer
Sci. Comput. Program., 2008

A survey of state vectors.
[BibTeX]
[DOI]
Ward Douglas Maurer
Comput. Sci. Rev., 2008

Removing backward go-to statements from Ada programs: possibilities and problems.
[BibTeX]
[DOI]
Ward Douglas Maurer
Proceedings of the 2008 Annual ACM SIGAda International Conference on Ada, 2008

2007
Generalized structured programs and loop trees.
[BibTeX]
[DOI]
Ward Douglas Maurer
Sci. Comput. Program., 2007

Using mathematics to improve ada compiled code, part 2: the proof.
[BibTeX]
[DOI]
Ward Douglas Maurer
Proceedings of the 2007 Annual ACM SIGAda International Conference on Ada, 2007

2006
The Rearranger - A New Assembler Utility.
[BibTeX]
[DOI]
Ward Douglas Maurer
Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

Using Mathematics to Improve Ada Compiled Code.
[BibTeX]
[DOI]
Ward Douglas Maurer
Proceedings of the Reliable Software Technologies, 2006

2002
The comparative programming languages course: a new chain of development.
[BibTeX]
[DOI]
Ward Douglas Maurer
Proceedings of the 33rd SIGCSE Technical Symposium on Computer Science Education, 2002

1996
Attitudes toward the go-to statement (or, hydrogen considered harmful).
[BibTeX]
[DOI]
Ward Douglas Maurer
Comput. Educ., 1996

Relative Precision in the Inductive Assertion Method.
[BibTeX]
[DOI]
Ward Douglas Maurer
Proceedings of the Numerical Analysis and Its Applications, First International Workshop, 1996

1985
The parable of the two programmers, continued.
[BibTeX]
[DOI]
W. D. Maurer
,
Tim E. Barrios
ACM SIGSOFT Softw. Eng. Notes, 1985

1983
An Improved Hash Code for Scatter Storage (Reprint).
[BibTeX]
[DOI]
W. D. Maurer
Commun. ACM, 1983

1981
An alternate characterization of preorder, inorder, and postorder.
[BibTeX]
[DOI]
W. D. Maurer
ACM SIGPLAN Notices, 1981

1980
Multiple micros for education.
[BibTeX]
[DOI]
Ward Douglas Maurer
Proceedings of the 11th SIGCSE Technical Symposium on Computer Science Education, 1980

1978
Another letter on the correctness of real programs.
[BibTeX]
[DOI]
W. D. Maurer
ACM SIGSOFT Softw. Eng. Notes, 1978

Register type bits: a proposal for efficient instruction repertoire extension.
[BibTeX]
[DOI]
W. D. Maurer
ACM SIGPLAN Notices, 1978

A very small information retrieval system.
[BibTeX]
[DOI]
Ward Douglas Maurer
Proceedings of the Proceedings 1978 ACM Annual Conference, 1978

1977
The teaching of program correctness.
[BibTeX]
[DOI]
W. D. Maurer
Proceedings of the 7th SIGCSE Technical Symposium on Computer Science Education, 1977

The modification index method of generating verification conditions.
[BibTeX]
[DOI]
Ward Douglas Maurer
Proceedings of the 15th annual Southeast regional conference, 1977

1976
Proving the correctness of a flight-director program for an airborne minicomputer.
[BibTeX]
[DOI]
W. D. Maurer
Proceedings of the ACM SIGMINI/SIGPLAN interface meeting on Programming systems in the small processor environment, 1976

1975
Hash Table Methods.
[BibTeX]
[DOI]
W. D. Maurer
,
Ted G. Lewis
ACM Comput. Surv., 1975

1974
Some correctness principles for machine language programs and microprograms.
[BibTeX]
[DOI]
W. D. Maurer
Proceedings of the Conference record of the 7th annual workshop on Microprogramming, 1974

1973
The validity of return address schemes.
[BibTeX]
[DOI]
W. D. Maurer
Inf. Sci., 1973

Induction Principles for Context-Free Languages.
[BibTeX]
[DOI]
Ward Douglas Maurer
Proceedings of the Gesellschaft für Informatik e.V., 1973

1972
On the Definition of the Variables Used and Set by a Computation.
[BibTeX]
[DOI]
W. D. Maurer
Math. Syst. Theory, 1972

1971
Ph. D prelim exams in computer systems.
[BibTeX]
[DOI]
Ward Douglas Maurer
ACM SIGCSE Bull., 1971

1970
Compilation of a subset of SNOBOL4.
[BibTeX]
[DOI]
Paul J. Santos
,
Ward Douglas Maurer
ACM SIGPLAN Notices, 1970

1969
The compiled macro assembler.
[BibTeX]
[DOI]
Ward Douglas Maurer
Proceedings of the American Federation of Information Processing Societies: AFIPS Conference Proceedings: 1969 Spring Joint Computer Conference, 1969

1968
An Improved Hash Code for Scatter Storage.
[BibTeX]
[DOI]
W. D. Maurer
Commun. ACM, 1968

Letters to the editor: Comments on "An Improved Hash Code for Scatter Storage".
[BibTeX]
[DOI]
J. D. Beyer
,
Ward Douglas Maurer
,
Frank K. Bamberger
Commun. ACM, 1968

1966
Realizing Complex Boolean Functions with Simple Groups
[BibTeX]
[DOI]
Kenneth Krohn
,
W. D. Maurer
,
John Rhodes
Inf. Control., April, 1966

A Theory of Computer Instructions.
[BibTeX]
[DOI]
Ward Douglas Maurer
J. ACM, 1966

Computer experiments in finite algebra.
[BibTeX]
[DOI]
Ward Douglas Maurer
Commun. ACM, 1966


  Loading...