Ward Douglas Maurer

26 papers A* 1A 2Misc 1Journal 15Unranked 7
YearRankTypeTitle / Venue / Authors
2013 J jnl
A Programming Language without Keywords.
Comput. Inf. Sci.
Ward Douglas Maurer
2010 J jnl
Simple section interchange and properties of non-computable functions.
Sci. Comput. Program.
Ward Douglas Maurer
2008 J jnl
A survey of state vectors.
Comput. Sci. Rev.
Ward Douglas Maurer
2008 J jnl
Loop trees: a new theme in structured programming and discrete structures.
J. Comput. Sci. Coll.
Ward Douglas Maurer
2008 J jnl
Partially defined computer instructions and guards.
Sci. Comput. Program.
Ward Douglas Maurer
2008 — conf
Removing backward go-to statements from Ada programs: possibilities and problems.
SIGAda
Ward Douglas Maurer
2007 J jnl
Generalized structured programs and loop trees.
Sci. Comput. Program.
Ward Douglas Maurer
2007 — conf
Using mathematics to improve ada compiled code, part 2: the proof.
SIGAda
Ward Douglas Maurer
2006 J jnl
A theory of computer instructions.
Sci. Comput. Program.
Ward Douglas Maurer
2006 J jnl
An alternative to group theory in the discrete structures course.
J. Comput. Sci. Coll.
Ward Douglas Maurer
2006 A* conf
The Rearranger - A New Assembler Utility.
ASE
Ward Douglas Maurer
2006 Misc conf
Using Mathematics to Improve Ada Compiled Code.
Ada-Europe
Ward Douglas Maurer
2005 J jnl
The effect of the Harvard architecture on the teaching of assembly language.
J. Comput. Sci. Coll.
Ward Douglas Maurer
2002 A conf
The comparative programming languages course: a new chain of development.
SIGCSE
Ward Douglas Maurer
1996 J jnl
Attitudes toward the go-to statement (or, hydrogen considered harmful).
Comput. Educ.
Ward Douglas Maurer
1996 — conf
Relative Precision in the Inductive Assertion Method.
WNAA
Ward Douglas Maurer
1980 A conf
Multiple micros for education.
SIGCSE
Ward Douglas Maurer
1978 — conf
A very small information retrieval system.
ACM Annual Conference (2)
Ward Douglas Maurer
1977 — conf
The modification index method of generating verification conditions.
ACM-SE
Ward Douglas Maurer
1973 — conf
Induction Principles for Context-Free Languages.
GI Jahrestagung
Ward Douglas Maurer
1971 J jnl
Ph. D prelim exams in computer systems.
ACM SIGCSE Bull.
Ward Douglas Maurer
1970 J jnl
Compilation of a subset of SNOBOL4.
ACM SIGPLAN Notices
Paul J. Santos, Ward Douglas Maurer
1969 — conf
The compiled macro assembler.
AFIPS Spring Joint Computing Conference
Ward Douglas Maurer
1968 J jnl
Letters to the editor: Comments on "An Improved Hash Code for Scatter Storage".
Commun. ACM
J. D. Beyer, Ward Douglas Maurer, Frank K. Bamberger
1966 J jnl
A Theory of Computer Instructions.
J. ACM
Ward Douglas Maurer
1966 J jnl
Computer experiments in finite algebra.
Commun. ACM
Ward Douglas Maurer