BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Japan
1 × Portugal
2 × USA
Collaborated with:

Talks about:
ada (3) mathemat (2) improv (2) compil (2) code (2) use (2) statement (1) rearrang (1) backward (1) program (1)

Person: Ward Douglas Maurer

DBLP DBLP: Maurer:Ward_Douglas

Contributed to:

SIGAda 20082008
SIGAda 20072007
ASE 20062006
Ada-Europe 20062006

Wrote 4 papers:

SIGAda-2008-Maurer #ada #problem #source code
Removing backward go-to statements from Ada programs: possibilities and problems (WDM), pp. 105–108.
SIGAda-2007-Maurer #ada #proving #using
Using mathematics to improve ada compiled code, part 2: the proof (WDM), pp. 11–26.
ASE-2006-Maurer #assembly
The Rearranger — A New Assembler Utility (WDM), pp. 357–358.
AdaEurope-2006-Maurer #ada #using
Using Mathematics to Improve Ada Compiled Code (WDM), pp. 191–202.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.