Ward Douglas Maurer - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 23 from 23

2013

A Programming Language without KeywordsWard Douglas Maurer. ccsecis, 6(1):100-132, 2013. [doi]

2010

Simple section interchange and properties of non-computable functionsWard Douglas Maurer. SCP, 75(11):1142-1164, 2010. [doi]

2008

Removing backward go-to statements from Ada programs: possibilities and problemsWard Douglas Maurer. sigada 2008: 105-108 [doi]

A survey of state vectorsWard Douglas Maurer. csr, 2(1):1-28, 2008. [doi]

Partially defined computer instructions and guardsWard Douglas Maurer. SCP, 72(3):220-239, 2008. [doi]

2007

Generalized structured programs and loop treesWard Douglas Maurer. SCP, 67(2-3):223-246, 2007. [doi]

Using mathematics to improve ada compiled code, part 2: the proofWard Douglas Maurer. sigada 2007: 11-26 [doi]

2006

A theory of computer instructionsWard Douglas Maurer. SCP, 60(3):244-273, 2006. [doi]

Using Mathematics to Improve Ada Compiled CodeWard Douglas Maurer. Ada-Europe 2006: 191-202 [doi]

The Rearranger - A New Assembler UtilityWard Douglas Maurer. ASE 2006: 357-358 [doi]

2002

The comparative programming languages course: a new chain of developmentWard Douglas Maurer. sigcse 2002: 336-340 [doi]

1996

Relative Precision in the Inductive Assertion MethodWard Douglas Maurer. naa 1997: 319-326

Attitudes toward the go-to statement (or, hydrogen considered harmful)Ward Douglas Maurer. ce, 26(4):207-213, 1996. [doi]

1980

Multiple micros for educationWard Douglas Maurer. sigcse 1980: 178-180 [doi]

1978

A very small information retrieval systemWard Douglas Maurer. acm 1978: 840-842 [doi]

1977

The modification index method of generating verification conditionsWard Douglas Maurer. ACMse 1977: 426-440 [doi]

1973

Induction Principles for Context-Free LanguagesWard Douglas Maurer. gi 1973: 134-143

1971

Ph. D prelim exams in computer systemsWard Douglas Maurer. SIGCSE, 3(1):46-47, 1971. [doi]

1970

Compilation of a subset of SNOBOL4Paul J. Santos, Ward Douglas Maurer. SIGPLAN, 5(12):60-68, 1970. [doi]

1969

The compiled macro assemblerWard Douglas Maurer. afips 1968: 89-93 [doi]

1968

Letters to the editor: Comments on An Improved Hash Code for Scatter Storage J. D. Beyer, Ward Douglas Maurer, Frank K. Bamberger. CACM, 11(5):378, 1968. [doi]

1966

Computer experiments in finite algebraWard Douglas Maurer. CACM, 9(8):598-603, 1966. [doi]

A Theory of Computer InstructionsWard Douglas Maurer. JACM, 13(2):226-235, 1966. [doi]

Sign in or sign up to see more results.

runs on WebDSL