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: Dewar:Robert
Contributed to:
20072006
20032002200119991994Wrote 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.