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 × Austria
1 × France
1 × Spain
4 × USA
Collaborated with:
R.Chapman D.Craeynest P.Waroquiers O.Hainque E.Briot F.Gasperoni
Talks about:
ada (4) expos (2) gnat (2) strengthen (1) variabl (1) uniniti (1) languag (1) feather (1) develop (1) corrupt (1)

Person: Robert Dewar

DBLP DBLP: Dewar:Robert

Contributed to:

SIGAda 20072007
SIGAda 20062006
Ada-Europe 20032003
Ada-Europe 20022002
SIGAda 20012001
Ada-Europe 19991999
TRI-Ada 19941994

Wrote 7 papers:

SIGAda-2007-Dewar07a #named #question
Birds-of-a-feather: where would you like to see GNAT go? (RD), pp. 97–98.
SIGAda-2006-Dewar #ada
Ada 2005 & high integrity systems (RD), p. 43.
AdaEurope-2003-BriotGDCW #ada #memory management
Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in Ada (EB, FG, RD, DC, PW), pp. 129–141.
AdaEurope-2002-DewarHCW #ada #runtime
Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada (RD, OH, DC, PW), pp. 193–204.
SIGAda-2001-Dewar #ada #development
Keynote address: future development of the Ada language (RD), pp. 1–2.
AdaEurope-1999-ChapmanD #safety #using
Re-engeneering a Safety-Critical Application Using SPARK 95 and GNORT (RC, RD), pp. 39–51.
TRI-Ada-1994-Dewar #compilation
The GNAT Compilation Model (RD), pp. 58–70.

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.