| 2007 |
|---|
| 8 | EE | Robert Dewar:
Birds-of-a-feather: where would you like to see GNAT go?
SIGAda 2007: 97-98 |
| 2006 |
|---|
| 7 | EE | Robert Dewar:
Ada 2005 & high integrity systems.
SIGAda 2006: 43 |
| 2003 |
|---|
| 6 | EE | Emmanuel Briot,
Franco Gasperoni,
Robert Dewar,
Dirk Craeynest,
Philippe Waroquiers:
Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in Ada.
Ada-Europe 2003: 129-141 |
| 2002 |
|---|
| 5 | EE | Robert Dewar,
Olivier Hainque,
Dirk Craeynest,
Philippe Waroquiers:
Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada.
Ada-Europe 2002: 193-204 |
| 2001 |
|---|
| 4 | EE | Robert Dewar:
Keynote address: future development of the Ada language.
SIGAda 2001: 1-2 |
| 1999 |
|---|
| 3 | EE | Roderick Chapman,
Robert Dewar:
Re-engeneering a Safety-Critical Application Using SPARK 95 and GNORT.
Ada-Europe 1999: 39-51 |
| 1998 |
|---|
| 2 | EE | Hal Hart,
James Caristi,
Robert Dewar,
Mark Gerhardt,
J. A. Drew Hamilton Jr.,
Christopher Haynes,
Samuel A. Rebelsky:
The future of programming - are fundamental changes in computer science programs coming? (panel).
SIGCSE 1998: 370-371 |
| 1994 |
|---|
| 1 | EE | Robert Dewar:
The GNAT Compilation Model.
TRI-Ada 1994: 58-70 |
